Modus ponendo tollens
|
Modus ponendo tollens (literally: mode which, by affirming, denies) is a valid, simple argument form:
- Not (P and Q)
- P
- Therefore, not Q
This is rarely used as a rule or axiom of logical systems, as it can easily be proven by reductio ad absurdum.
MPT should not be confused with modus tollendo ponens, modus ponendo ponens, or modus tollendo tollens.
External link
- Proof of MPT (http://logik.phl.univie.ac.at/~chris/beispielskriptum/node6.html)