Modus Tollendo Ponens/Sequent Form

Case 2
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}$.

Also known as
In this format, the modus tollendo ponens is also known as the disjunctive syllogism.