Принцип доказательства от противного считается фундаментальным в логике, потому что он позволяет обосновывать тезисы, для которых не удаётся найти прямое доказательство. 1
Суть метода в том, что берут отрицание тезиса и в определённый момент рассуждения наталкиваются на противоречие. 1 Это означает, что отрицание тезиса было неверным, а сам тезис, соответственно, верен. 1
В основе доказательства от противного лежит истинность закона двойного отрицания, определённого в классической логике. 3
Метод часто используется в математике и в повседневной жизни (в бытовых рассуждениях). 3