Noun
modus tollendo tollens (uncountable)
(philosophy, logic) A valid form of argument in which the antecedent of a conditional proposition is infirmed, thereby entailing the infirmation of the consequent. Modus tollendo tollens has the form:
1. If non-P, then non-Q.
2. non-P.
3. Therefore, non-Q.