Modus ponendo ponens

Modus ponendo ponens w encyklopedii

Z Wikipedii, wolnej encyklopedii Przejdź do nawigacji Przejdź do wyszukiwania

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:

( p → q ) ∧ p → q {\displaystyle [(p\rightarrow q)\land p]\rightarrow q}

Analogiczny schemat wnioskowania dedukcyjnego ma postać:

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

Na podstawie artykułu: "Modus ponendo ponens" pochodzącego z Wikipedii
OryginałEdytujHistoria i autorzy