modus tollens

noun1

1. •
   A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form

   • 1. If P, then Q.
   • 2. Not Q.