Negation of Excluded Middle is False

From ProofWiki
Jump to: navigation, search

Theorem

Form 1

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


Form 2

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