Modus ponendo ponens
Z Wikipedii
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:
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.
[edytuj] Zobacz też
- reguła odrywania
- prawa rachunku zdań,
- modus tollendo ponens,
- modus ponendo tollens,
- modus tollendo tollens