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

'''Доказательство «от противного»''' ({{lang-lat|contradictio in contrarium}}) в [[математика|математике]] — вид доказательства, при котором «доказывание» некоторого суждения ([[Тезис (логика)|тезиса]] доказательства) осуществляется через опровержение отрицания этого суждения — [[антитезис]]а<ref name="фэс">Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией [[А. А. Ивин]]а. 2004. </ref>. Этот способ доказательства основывается на истинности [[закон двойного отрицания|закона двойного отрицания]] в [[исчисление высказываний|классической логике]].