Modus Ponendo Tollens/Variant/Formulation 1/Forward Implication

Theorem

 * $\neg \paren {p \land q} \vdash p \implies \neg q$