modus tollens
/ˈməʊdʊsˈtɒlenz/noun
1- the rule of logic which states 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否定后件的假言推理, 拒取式。
1.1
- an argument using this rule拒取式论证。
词源
Latin, literally 'mood that denies'.