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

Satslogiska slutledningsregler
 Predikatlogiska slutledningsregler 
Andra slutledningsregler

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:

, där betyder syntaktisk konsekvens.

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

Källor redigera

  • 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.