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

Метод доказательства от противного в логике заключается в том, что сначала доказывают антитезис (тезис, противоречащий исходному), затем его доводят до противоречия с установленной истиной (или до абсурда). spravochnick.ru После этого из ложности антитезиса делают вывод об истинности исходного тезиса. spravochnick.ru

Доказательство от противного состоит из трёх шагов: videouroki.net

1. Делают предположение, что истинно утверждение не В. videouroki.net
2. Приходят к противоречию с каким-нибудь истинным высказыванием. videouroki.net
3. Делают вывод о том, что сделанное предположение ложно, а значит, утверждение В истинно. videouroki.net

Доказательство от противного часто используется в математике и в повседневной жизни (в бытовых рассуждениях). spravochnick.ru