modus tollens
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
|