NOR with Equal Arguments/Proof 1

Theorem
Let $\downarrow$ signify the NOR operation.

Then for any proposition $p$:


 * $p \downarrow p \dashv \vdash \neg p$

That is, the NOR of a proposition with itself corresponds to the negation operator.