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