Negation implies Negation of Conjunction/Case 1

Theorem

 * $\neg p \implies \neg \left({p \land q}\right)$