Ein logisches Prinzip, das für jede Aussage P behauptet, dass entweder P wahr ist oder ihre Negation ¬P wahr ist, ohne dritte Möglichkeit (formal: P ∨ ¬P).
Das Prinzip, dass für jede Aussage P die Disjunktion P ∨ ¬P wahr ist; es gibt keinen dritten Wahrheitswert zwischen einer Aussage und ihrer Negation in der klassischen Logik.