Zákon o vyloučení třetího

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání
Žena těhotná buď je, nebo není, třetí možnost neexistuje

Zákon o vyloučení třetího (latinsky principium tertii exclusi, či tertium non datur třetí není dán) je logický princip, který říká, že každý výrok je buď pravdivý nebo je nepravdivý; neexistuje třetí možnost.

Pro každé tvrzení P proto platí, že výraz (P nebo non P) je pravdivý.

Například jestliže P je výrok:

Kaktus je zvíře.

pak následující složený výrok (disjunkce):

Kaktus je zvíře, nebo kaktus není zvíře.

je vždy pravdivý (bez ohledu na pravdivost výroku P).

Zákon je jedním ze základních axiomů platných v mnoha klasických dvouhodnotových logikách. V některých logických systémech však tento princip neplatí. Příkladem mohou být vícehodnotové logiky, např. fuzzy logika či intuicionistická logika.