Modus Ponendo Tollens/Sequent Form/Case 1

Theorem

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