Закон противоречия

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Математическая запись:

где:

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

Примечания[править | править вики-текст]

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

См. также[править | править вики-текст]