Modus ponendo ponens

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

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.