Negation of Conditional implies Negation of Consequent

Theorem

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