Modus ponendo ponens

Modus ponendo ponens (łac. sposób potwierdzający potwierdzeniem^[1]) – 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^[2][3]:

${\displaystyle [(p\rightarrow q)\land p]\rightarrow q}$

Analogiczny schemat wnioskowania dedukcyjnego ma postać^[3]:

${\displaystyle p\rightarrow q}$

${\displaystyle p}$

∴ ${\displaystyle q}$

Istnieje także reguła dedukcyjna o analogicznej strukturze, zwana regułą odrywania.

Zobacz też

• Reguła odrywania
• ∴