В чем заключается основная суть метода 'от противного' в логических задачах?

Суть метода «от противного» в логических задачах заключается в том, чтобы доказать некоторое утверждение, предполагая, что оно неверно, а верно противоположное ему. math.mosolymp.ru

Метод состоит из нескольких шагов: math.mosolymp.ru

1. Сделать предположение, что исходное утверждение неверно, а верно противоположное ему. math.mosolymp.ru videouroki.net
2. Выяснить, что следует из сделанного предположения. math.mosolymp.ru
3. Обнаружить несоответствие (противоречие) предположения с известными условиями. math.mosolymp.ru
4. Сделать вывод о том, что предположение неверно, то есть верно утверждение, которое требовалось доказать. math.mosolymp.ru

Метод «от противного» часто применяется в решении математических задач и доказательстве теорем. dzen.ru