Category:Law of Excluded Middle

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Law of Excluded Middle:

The law of (the) excluded middle is a valid argument in certain types of logic dealing with disjunction $\lor$ and negation $\neg$.

This includes classical propositional logic and predicate logic, and in particular natural deduction, but for example not intuitionistic propositional logic.

Proof Rule

$\phi \lor \neg \phi$ for all statements $\phi$.

Sequent Form

The Law of Excluded Middle can be symbolised by the sequent:

$\vdash p \lor \neg p$


This category has only the following subcategory.

Pages in category "Law of Excluded Middle"

The following 133 pages are in this category, out of 133 total.