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