modus tollens
noun
°(philosophy logic) 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:.