modus tollens

modus tollens (uncountable)

  1. (philosophy, logic) 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.
Related terms

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.006
Offline English dictionary