Noun
modus tollendo ponens (uncountable)
(philosophy, logic) A valid form of argument in which the antecedent of a conditional proposition is negated, thereby entailing the affirmation of the consequent. Modus ponendo tollens has the form:
1. Either P or Q.
2. non-P.
3. Therefore, Q.
Synonym: disjunctive syllogism