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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e30effa12a3e878cefd7fc5ac014654298f6b34)
Analogiczny schemat wnioskowania dedukcyjnego ma postać:
p lub q, nie p.
Zatem: q.
Przypisy
- ↑
Tomasz Mazur, Kurs logiki: lekcja 29. (...), Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej, zpe.gov.pl [dostęp 2024-11-28].
- ↑ modus tollendo ponens, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2024-11-28].