Русская Википедия:Закон противоречия

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Математическая запись в виде формулы, всегда имеющей ложное значениеШаблон:Sfn:

<math> P \wedge \neg P</math>

где:

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

См. также

Примечания

Шаблон:Примечания

Литература

Внешние ссылки

  1. Кириллов В. И., Старченко А. А. Логика: учебник для юридических вузов.

Шаблон:Выбор языка Шаблон:Законы логики Шаблон:Rq