Modus tollens

“Mode of Denial,” the Latin name for the formal logic rule that allows the negation of the antecedent of a conditional claim from the denial of the consequent. Argument of the form that if the conditional (if A then B) is true, and ¬B is true, then you can infer ¬A.