Satz Vom Ausgeschlossenen Dritten

Natural & Formal Sciences Dictionary
Definition
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).

Satz Vom Ausgeschlossenen Dritten

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
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.