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.