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

Русская Википедия - свободная энциклопедия

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

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

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

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

Продолжение на Wikipedia.οrg...