Non-Equivalence of Proposition and Negation/Formulation 1

Theorem

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