modus tollendo ponens

noun1

1. •
   A valid form of argument in which the antecedent of a conditional proposition is negated, thereby entailing the affirmation of the consequent. Modus tollendo ponens has the form

   • 1. Either P or Q.
   • 2. non-P.