 |
It has been suggested that this article or section be merged into Disjunctive syllogism. (Discuss) |
Modus tollendo ponens (literally: mode which, by denying, affirms)[1], or MTP, is a valid, simple argument form of inference that is today known as disjunctive syllogism:[2]
- P or Q
- Not P
- Therefore, Q
An English language example:
- Either Ahmed is in the library, or he's in the pub.
- But he's not in the library.
- So he must be in the pub.
Unlike modus ponendo ponens and modus tollendo tollens, with which it should not be confused, MTP is often not made an explicit rule or axiom of logical systems, as the above arguments can be proven with a (slightly devious) combination of ex falso quodlibet and disjunction elimination.
MTP should also not be confused with modus ponendo tollens.
See also
References
External links
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)
