WikiSort.ru - Не сортированное

Закон противоречия (закон непротиворечия) — закон логики, который гласит, что два несовместимых (противоречащих) суждения не могут быть одновременно истинными. По крайней мере одно из них ложно^[1].

Математическая запись в виде тождественно ложной формулы^[2]:

${\displaystyle P\wedge \neg P}$

где:

• «${\displaystyle \wedge }$ » — знак конъюнкции (И);
• «${\displaystyle \neg }$ » — знак отрицания.

Закон противоречия является фундаментальным логическим законом, на котором построена вся современная математика. Он является тавтологией классической логики, а также большинства неклассических логик, в том числе интуиционистской логики. Всё же существуют нетривиальные логические системы, в которых он не соблюдается, например, логика Клини.

Примечания

Литература

• Эдельман С.Л. Математическая логика. — М.: Высшая школа, 1975. — 176 с.

См. также

В Википедии есть портал «Логика»

• Закон тождества
• Закон достаточного основания
• Закон исключённого третьего

• Закон двойного отрицания
• Закон Пирса
• Доказательство от противного

Для улучшения этой статьи по логике желательно: Найти и оформить в виде сносок ссылки на независимые авторитетные источники, подтверждающие написанное. Исправить статью согласно стилистическим правилам Википедии. Викифицировать статью. Проверить достоверность указанной в статье информации.