modus tollens

短语

别名

MT

释义与例句

n.
  1. 1.

    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

    不可数 数学 哲学

    1. If P, then Q.

    2. Not Q.

    3. Therefore, not P.

词源

From Latin modus tollendō tollēns (“the mode where the denying denies”), from modus (“mode”) and forms of tollō (“to take away”).

来源：wiktionary