# Category:Double Negation Elimination implies Law of Excluded Middle

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.