modus tollendo tollens

noun1

1. •
   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.