Modus Ponendo Tollens/Sequent Form/Case 1

Theorem

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