Zákon rozporu

Zákon rozporu ( zákon rozporu ) je zákon logiky , který říká, že dva neslučitelné ( protichůdné nebo opačné ) výroky nemohou být pravdivé současně - alespoň jeden z nich je nepravdivý [1] .

Matematický zápis ve formě vzorce, který má vždy nepravdivou hodnotu [2] :

kde:

• " " - znak konjunkce (AND);
• " " je znak negace .

Zákon rozporu je základní logický zákon, na kterém je postavena veškerá moderní matematika . Jeho negace je tautologií klasické logiky , stejně jako většiny neklasických logik , včetně intuicionistické logiky . Přesto existují netriviální logické systémy, ve kterých není respektována, například Kleeneova logika .

Viz také

• důkaz kontradikcí

Poznámky

1. ↑ Kirillov V. I., Starčenko A. A. Logika: učebnice pro právnické fakulty.
2. ↑ Edelman, 1975 , str. 21.

Literatura

• Edelman S. L. Matematická logika. - M . : Vyšší škola, 1975. - 176 s.

Slovníky a encyklopedie	Velký Rus Britannica (online)