Modus Tollendo Ponens/Sequent Form

Theorem

 * $p \lor q, \neg p \vdash q$
 * $p \lor q, \neg q \vdash p$

It can be written:
 * $\displaystyle {\left({p \lor q}\right) \quad \neg p \over q} \textrm{MTP} \qquad \text{or} \qquad {\left({p \lor q}\right) \quad \neg q \over p} \textrm{MTP}$

Its abbreviation in a tableau proof is $\textrm{MTP}$.