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

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

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

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

где — знак конъюнкции, — знак отрицания.

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

[править] Смотри также

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

Это незавершённая статья по логике. Вы можете помочь проекту, исправив и дополнив её.

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники.