Axiom exkluze (také známý jako princip exkluze třetího) je základní logický princip, který se vyskytuje v mnoha logických systémech. Axiom exkluze říká, že pro každý výrok platí, že je buď pravdivý, nebo nepravdivý, a není možné, aby byl současně pravdivý i nepravdivý.
Jinými slovy, axiom exkluze vyjadřuje princip neslučitelnosti. Neexistuje žádná třetí možnost nebo střední cesta mezi tím, že výrok je pravdivý a že je nepravdivý. Tento princip je základním kamenem klasické logiky a běžně se používá ve filozofii, matematice a vědě obecně.
Axiom exkluze je jedním z fundamentálních principů logiky a pomáhá vytvářet logické argumenty, analýzuovat tvrzení a provádět deduktivní úsudky.
Zdroj: https://chat.openai.com