modus tollens
Jump to navigation
Jump to search
English[edit]
Alternative forms[edit]
- MT (initialism)
Etymology[edit]
From Latin modus tollendō tollēns (“the mode where the denying denies”), from modus (“mode”) and forms of tollō (“I take away”).
Noun[edit]
- (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[edit]
- inference rule
- See also Thesaurus:argument form
Related terms[edit]
Translations[edit]
a valid form of argument in which the consequent of a condition proposition is denied
|