Modus Tollendo Ponens/Sequent Form

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