Negation of Excluded Middle is False

From ProofWiki
Jump to navigation Jump to search

Theorem

Form 1

$\neg (p \lor \neg p) \vdash \bot$


Form 2

$\vdash \neg \neg (p \lor \neg p)$

Retrieved from "https://proofwiki.org/w/index.php?title=Negation_of_Excluded_Middle_is_False&oldid=148328"