Word 2186: Modus tollens

noun
the rule of logic stating that if a conditional statement (“if p then q”) is accepted, and the consequent does not hold ( not-q), then the negation of the antecedent ( not-p) can be inferred
• an argument using this rule