Modus Ponendo Tollens/Sequent Form

Theorem

Case 1

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

Case 2

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