Modus Ponendo Tollens/Sequent Form/Case 2

Theorem

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