Non-Equivalence of Proposition and Negation
Jump to navigation
Jump to search
Theorem
Formulation 1
- $p \implies \neg p, \neg p \implies p \vdash \bot$
Formulation 2
- $\vdash \neg \left({p \iff \neg p}\right)$