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ć:

${\displaystyle p\rightarrow q}$

${\displaystyle p}$

∴ ${\displaystyle q}$

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

Zobacz też

• Logika matematyczna
• ∴

Przypisy

Bibliografia

• StefanS. Hugtenburg StefanS., Delftse Foundations of Computation, 2nd Edition, Minneapolis, MN 2018, ISBN 978-94-6366-598-8, OCLC 1345677665 [dostęp 2023-03-04]  (ang.).brak strony (książka)