Non-Equivalence of Proposition and Negation/Formulation 2

Theorem

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