Modus ponendo ponens

Modus ponendo ponens (łac. sposób potwierdzający przez potwierdzenie) – 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:

$[(p \Rightarrow q) \land p] \Rightarrow q\,\!$

Analogiczny schemat wnioskowania dedukcyjnego ma postać:

Jeżeli p, to q

p.

Zatem: q.

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

Zobacz też

• reguła odrywania
• prawa rachunku zdań,
• modus tollendo ponens,
• modus ponendo tollens,
• modus tollendo tollens