Доказательство от противного: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
→Схема доказательства: Исправлена логическая ошибка: было сказано, что отсутствие закона исключённого третьего мешает работать доказательству от противного. В то время как в реальности в интуиционистской логике они не работают совместно, но не по причине. Метки: с мобильного устройства из мобильной версии |
ссылка на значение слова антитезис |
||
Строка 1:
{{Нет ссылок|дата=13 мая 2011}}
'''Доказательство «от противного»''' ({{lang-lat|contradictio in contrarium}}) в [[математика|математике]] — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — [https://kartaslov.ru/%D0%B7%D0%BD%D0%B0%D1%87%D0%B5%D0%BD%D0%B8%D0%B5-%D1%81%D0%BB%D0%BE%D0%B2%D0%B0/%D0%B0%D0%BD%D1%82%D0%B8%D1%82%D0%B5%D0%B7%D0%B8%D1%81 антитезиса]. Этот способ доказательства основывается на истинности [[закон двойного отрицания|закона двойного отрицания]] в [[исчисление высказываний|классической логике]].
==Схема доказательства==
| |||