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

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