Modus ponendo ponens

Ten artykuł od 2013-09 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Modus ponendo ponens (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:

${\displaystyle [(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.