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

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