Modus ponendo ponens

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:

$[(p\to q)\wedge p]\to q$

Analogiczny schemat wnioskowania dedukcyjnego ma postać:

Szablon:Wnioskowanie

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

Zobacz też

• Reguła odrywania
• ∴

Bibliografia

• Szablon:Cytuj