Закон противоречия ( лат. lex contradictionis ) Или принцип противоречия ( лат. principium contradictionis ) - Один четырех основных законов традиционной логики, который можно выразить так:

Не могут быть истинными два несовместимых высказывания об одном и том же предмете, принимаемых в одно и то же время и в одном и том же отношении. [1]

В математической логике закон противоречия также является одним из основных и имеет следующий вид:

\ Neg (A \ and \ neg A)

есть, одновременно не могут быть истинными высказывания A и противоположное A.


См.. также

Nuvola apps edu mathematics blue-p.svg
В Википедии есть портал