## [Law of Excluded Middle](/law-excluded-middle-1) 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. ## Principle Principle Every proposition either holds or its negation holds; formally the formula P ∨ ¬P is a logical validity in classical systems. ## Demonstration Demonstration For the proposition 'The coin landed heads', classical reasoning asserts either 'the coin landed heads' or 'the coin did not land heads' is true — there is no intermediate truth value. ## Misapplication Misapplication Applying the law in contexts of constructive mathematics, future contingents, or many-valued semantics where proofs of P ∨ ¬P are not justified leads to invalid inferences. ## Consequence Consequence Enables certain proof techniques such as proof by cases and classical proofs by contradiction; it supports binary truth-value reasoning typical of classical systems. ## Reversal Reversal Rejecting the law yields constructive or intuitionistic logics in which P ∨ ¬P is not generally provable, so some propositions lack a classical either-or proof status. ## Boundary Boundary Holds in classical propositional and first-order logic under standard semantics; it does not universally apply in intuitionistic, many-valued, or certain modal and constructive frameworks. ## Semantic Tension Semantic Tension Tension exists between the syntactic assertion of the excluded middle and semantic principles like bivalence: LEM is a formal tautology claim, whereas bivalence is a semantic claim about truth-value assignments. ## Synthesis Synthesis The Law of Excluded Middle asserts the binary alternation P or ¬P as a formal validity in classical logic; accepting it yields classical proof methods, rejecting it produces constructive systems with different proof obligations.