Satz vom ausgeschlossenen Dritten

Der Satz vom ausgeschlossenen Dritten (lat. tertium non datur, wörtlich: Ein Drittes ist nicht gegeben) besagt, dass für eine beliebige Aussage P stets gilt: P ∨ ¬P (P oder nicht P).

Zum Beispiel gilt bei der Aussage:

Joe ist blond

die Disjunktion

Joe ist blond, oder Joe ist nicht blond.

Dies ist nicht dasselbe wie das Prinzip der Zweiwertigkeit, welches aussagt, dass jede Aussage entweder wahr oder falsch sein muss. Außerdem ist dies auch etwas anderes als der Satz vom Widerspruch, der besagt, dass (P ∧ ¬ P) falsch ist. Der Satz vom ausgeschlossenen Dritten sagt nicht aus, welchen Wahrheitswert P hat.

Der Satz vom ausgeschlossenen Dritten wird in der klassischen Logik akzeptiert, nicht jedoch in der intuitionistischen Logik.

Siehe auch: Liste von Gleichungen