English

Alternative forms

• MT (initialism)

Noun

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.

Hypernyms

• inference rule
• See also Wikisaurus:argument form

Related terms

• modus ponens

Translations