Non-Equivalence of Proposition and Negation/Formulation 1

Theorem

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