Negation implies Negation of Conjunction/Case 2

Theorem

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