Modus tollendo ponens

Satslogiska slutledningsregler
Modus ponendo ponens Modus tollendo tollens Modus tollendo ponens Deduktionsteoremet Reductio ad absurdum Och-eliminering Och-introducering Eller-eliminering Eller-introducering HS-regeln
Predikatlogiska slutledningsregler
Universell generalisering Existentiell generalisering Universell specifikation Existentiell specifikation
Andra slutledningsregler
Dilemma

Modus tollendo ponens är en slutledningsregel inom logiken. Regeln kan formellt skrivas:

${\frac {P\lor Q,\neg P}{\therefore Q}}$

vilket betyder att man från en premiss, i vilken huvudoperationen är en disjunktion och en annan premiss, som negerar disjunktionens ena led, kan sluta sig till disjunktionens andra led.

Från premisserna (P eller Q) och icke-P kan således slutsatsen Q dras.

Regelns latinska namn har sitt ursprung i att disjunktionens ena led förnekas (tollendo) och att därmed det andra ledet kan bejakas (ponens).

Exempel: Från premissen Tåget är försenat eller Min klocka går fel och premissen Tåget är inte försenat kan slutsatsen Min klocka går fel dras.

Formellt kan regeln även skrivas:

$P\lor Q,\lnot P\vdash Q$, där $\vdash$ betyder syntaktisk konsekvens.

Regeln uttryckt som en tautologi eller som ett teorem i satslogiken skrivs

$((P\lor Q)\land \neg P)\to Q$

Källor

• Patrick Suppes, Introduction to Logic, Van Nostrand, New York 1957.
• Göran Hermerén, Logik, Studentlitteratur, Lund 1967.
• Elements of Mathematical Logic, Jan Łukasiewicz, Pergamon Oxford 1956.