modus tollens

...点，就表示我心已经不在了」、「如果我不帮他忙，就表示我不在乎他」等等。这是典型的否定后件式推论(Modus Tollens)…

数学专业英语词汇_数学吧_百度贴吧 ... modulus of rigidity 刚性模量 modus tollens 否定式 moment 矩 ...

否定后件假言推理(Modus tollens)全称量化(universal quantification) 存在量化(existential quantification)。

称假言推理modus ponens）、否定后件式推理（modus tollens），全称量词推理和存在量词推理。