Non-Equivalence of Proposition and Negation

Theorem

Formulation 1

$p \implies \neg p, \neg p \implies p \vdash \bot$

Formulation 2

$\vdash \neg \left({p \iff \neg p}\right)$