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).

Tento 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 může být intuicionistická logika nebo vícehodnotové logiky, např. fuzzy logika.