Linked from

The 15 pages that link to Law of Excluded Middle, each with the reason it gives.

• Classical logicRelated: Classical logic accepts this principle for every proposition.

• Russell's paradoxRelated: The set's self-membership must be either true or false, and either choice reverses itself.

• Proof by contradictionRelated: In classical logic, ruling out a claim’s negation establishes the claim itself.

• Law of noncontradictionRelated: It is commonly grouped with noncontradiction, though it makes a distinct claim.

• Peirce's lawRelated: Like Peirce's law, it is classically valid but not intuitionistically derivable in general.

• Principle of bivalenceRelated: It is related to bivalence but states a formula-level law rather than a rule assigning truth values.

• False dilemmaRelated: This logical principle is valid; the fallacy misapplies two-way framing to choices that allow more options.

• Law of identityRelated: It is often grouped with identity, but concerns truth alternatives rather than sameness.

• Consequentia mirabilisRelated: Excluded middle supplies the two cases behind a standard derivation of the principle.