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$

Subcategories

This category has only the following subcategory.

Pages in category "Law of Excluded Middle"

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

R