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

Метод «от противного» в алгебре для решения математических задач заключается в следующем: scienceforum.ru interneturok.ru

1. Устанавливают, какие варианты возможны при решении задачи или доказательстве теоремы. dzen.ru Например: угол может быть тупым, прямым или острым; значение переменной a может быть больше, меньше или равно значению переменной b. dzen.ru
2. Доказывают для каждого нежелательного варианта, что он неверен. dzen.ru Как правило, удаётся установить, что для каждого нежелательного варианта какой-либо из выводов противоречит тому, что дан в условии, а потому невозможен. dzen.ru
3. На основании того, что все нежелательные варианты отброшены и только один (желательный) остался нерассмотренным, делают вывод, что именно он верный. dzen.ru

Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике. scienceforum.ru ru.wikipedia.org