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

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

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

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