##  [Law of Excluded Middle](/law-excluded-middle-0) 

 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).

 

 

 

 

 

 





## Principle

Principle

Binary truth: propositions are taken to satisfy bivalence, enabling proofs that rely on dichotomy and indirect reasoning (e.g., proof by contradiction).

 

 

 

 

 





## Demonstration

Demonstration

Classical example: in propositional logic, the tautology p ∨ ¬p holds under classical truth-value semantics. In mathematics, many classical proofs use it to conclude existence or truth by excluding the negation (e.g., classical proofs of irrationality by contradiction).

 

 

 

 

## Misapplication

Misapplication

Using the law in constructive or intuitionistic contexts to claim existence or to produce explicit witnesses — assuming P∨¬P implies decidability of P — or applying it to future-contingent statements where bivalence is philosophically disputed.

 

 

 

 

 





## Consequence

Consequence

Permits indirect proofs, simplification of logical derivations (double negation elimination), and underpins many classical metatheorems (completeness of classical propositional calculus).

 

 

 

 

## Reversal

Reversal

Rejecting the law leads to intuitionistic logic, where P∨¬P is not generally accepted and proofs must construct witnesses or give constructive disjunctions; alternative reversals include many-valued or paraconsistent logics that admit truth-value gaps or gluts.

 

 

 

 

 





## Boundary

Boundary

Valid within classical propositional and predicate logics that assume bivalence; not valid as a general principle in constructive mathematics, some modal contexts, or paraconsistent frameworks. It asserts logical dichotomy, not algorithmic decidability — P∨¬P does not imply an effective procedure to decide P.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension between classical truth (law as a metaphysical claim about truth values) and constructivist/proof-theoretic views (truth as provability or constructibility). Also tension between asserting a logical dichotomy and respecting computational content of proofs.

 

 

 

 

 





## Synthesis

Synthesis

The law of excluded middle is the classical dichotomy that every proposition is either true or false; it is powerful for indirect reasoning and classical metatheory but is specially restricted or rejected in frameworks that require constructive content or permit intermediate truth-values.