Auch abgekürzt MTP. Einer der elementaren (gültigen) logischen Schlussfiguren. Er beruht auf einer Disjunktion und einer Negation der Konsequenz.
A ∨ B– A oder B
¬A– nicht A
∴ B– daraus folgt: B
Zum Beispiel ist das Folgende ein gültiger MTP:
Es gibt heute Regen oder es gibt Nebel.
Es gibt heute keinen Regen,
also gibt es heute Nebel.
Der Name dieser Form kann frei als „Form der Bestimmung [einer Aussage] durch Zurückweisung [der Alternative]“ übersetzt werden.
Wie bei anderen logischen Schlussformen gibt es auch Fehlschlüsse, die auf einer unrichtigen Anwendung des MTP beruhen.
Die folgende Tabelle stellt den Modus tollendo ponens und dessen wichtigste Fehlschlüsse gegenüber:
| Modus tollendo ponens (gültiger Schluss) | Negation einer Konjunktion (Fehlschluss) | Affirmation einer Disjunktion (Fehlschluss) |
|||||
|---|---|---|---|---|---|---|---|
| Prämisse 1 | A ∨ B (A oder B) | A ⊻ B (A oder B, aber nicht beides) | A ∨ B (A oder B) |
||||
| Prämisse 2 | ⌐A (nicht A) | ⌐B (nicht B) | ⌐A (nicht A) | ⌐B (nicht B) | A | B | |
| Konklusion | B | A | B | A | ⌐B (nicht B) | ⌐A (nicht B) | |