Доказательство от противного: различия между версиями

'''Доказательство «от противного»''' ({{lang-lat|contradictio in contrarium}}) в [[математика|математике]] — один из самых часто используемых методов [[математическое доказательство|доказательства]] утверждений. Доказательство от противного — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности [[закон двойного отрицания|закона двойного отрицания]] в [[исчисление высказываний|классической логике]].