Modus tollendo ponens
Z Wikipedii
Modus tollendo ponens (łac. sposób potwierdzający przez zaprzeczenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego.
Tautologia rachunku zdań mówi, że jeśli uznajemy alternatywę i fałszywość jednego z jej członów, musimy uznać prawdziwość drugiego członu:
![[(p \or q) \land \neg p] \implies q\,\!](../../../../math/b/1/0/b1034853d015d5870ed51a256551d4e8.png)
Analogiczny schemat wnioskowania dedukcyjnego ma postać:
-
p lub q, nie p. Zatem: q.
[edytuj] Zobacz też
- reguła odrywania
- prawa rachunku zdań,
- modus ponendo ponens,
- modus ponendo tollens,
- modus tollendo tollens
