Law of Excluded Middle
Natural & Formal Sciences Dictionary
Definition
A logical principle that for any proposition P asserts that either P is true or its negation ¬P is true, with no third option (formally: P ∨ ¬P).
Law of Excluded Middle
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
The principle that for any proposition P, the disjunction P ∨ ¬P is true; there is no third truth-value between a proposition and its negation in classical logic.