Modus ponendo ponens
Modus ponendo ponens[1] (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[2]:
Analogiczny schemat wnioskowania dedukcyjnego ma postać[2]:
∴
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.).
Encyklopedie internetowe (reguła dedukcyjna):
- Britannica: topic/modus-ponens
- DSDE: modus_ponens