Modus Ponendo Tollens/Variant/Formulation 1/Forward Implication

Theorem

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