NAND is Commutative/Proof 1

Theorem
Let $\uparrow$ signify the NAND operation.

Then, for any two propositions $p$ and $q$:


 * $p \uparrow q \dashv \vdash q \uparrow p$

That is, NAND is commutative.