Category:Double Negation Elimination implies Law of Excluded Middle

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Double Negation Elimination implies Law of Excluded Middle:


Let the Law of Double Negation Elimination be supposed to hold:

$\neg \neg p \vdash p$


Then the Law of Excluded Middle likewise holds:

$\vdash p \lor \neg p$

Pages in category "Double Negation Elimination implies Law of Excluded Middle"

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