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

Метод доказательства от противного заключается в следующем: reshak.ru

1. Делается предположение, противоположное тому, что утверждается теоремой. reshak.ru
2. Затем путём рассуждений, опираясь на аксиомы и уже доказанные теоремы, приходят к выводу, противоречащему либо условию задачи, либо одной из аксиом, либо доказанной ранее теореме. reshak.ru
3. На этом основании заключают, что предположение не верно, а значит, верно утверждение теоремы. reshak.ru

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

Ещё один вариант осуществления метода: blog.tutoronline.ru

1. Устанавливают, какие варианты в принципе возможны при решении задачи или доказательстве теоремы. blog.tutoronline.ru
2. Доказывают, что не может выполняться ни один из тех вариантов, которые необходимо отбросить. blog.tutoronline.ru
3. На основании того, что все нежелательные выводы отброшены и только один (желательный) остался нерассмотренным, делают вывод, что именно он верный. blog.tutoronline.ru