Modus tollendo ponens

Modus tollendo ponens (sposób potwierdzający przez zaprzeczenie^[1]) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.

Tautologia rachunku zdań mówi, że jeśli uznajemy alternatywę i fałszywość jednego z jej członów, musimy uznać prawdziwość drugiego członu^[2]:

${\displaystyle [(p\lor q)\land \neg p]\Rightarrow q}$

Analogiczny schemat wnioskowania dedukcyjnego ma postać:

p lub q,

nie p.

Zatem: q.

Przypisy

1. Tomasz Mazur, Kurs logiki: lekcja 29. (...), Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej, zpe.gov.pl [dostęp 2024-11-28].
2. modus tollendo ponens, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2024-11-28] .