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

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.

Žena buď těhotná je, nebo není, třetí možnost neexistuje

Pro každé tvrzení P proto platí, že výraz $P\lor \neg P$ (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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.