Modus ponendo ponens (łac. sposób potwierdzający potwierdzeniem) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.
Tautologia rachunku zdań mówi, że jeśli uznajemy prawdziwość poprzednika prawdziwej implikacji, to musimy uznać też prawdziwość jej następnika Tomasz Mazur, Kurs logiki: lekcja 28. (...), Zintegrowana Platforma Edukacyjna – Ministerstwo Edukacji Narodowej, zpe.gov.pl [dostęp 2024-11-28].:
Analogiczny schemat wnioskowania dedukcyjnego ma postać:
Istnieje także reguła dedukcyjna o analogicznej strukturze, zwana regułą odrywania.
Zobacz też Reguła odrywania ∴
Przypisy
Bibliografia
Kategoria:Zwroty łacińskie Kategoria:Prawa rachunku zdań