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