Modus tollendo ponens
Modus tollendo ponens (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:
Analogiczny schemat wnioskowania dedukcyjnego ma postać:
p lub q, nie p.
Zatem: q.
Zobacz też
- reguła odrywania
- prawa rachunku zdań
- modus ponendo ponens
- modus ponendo tollens
- modus tollendo tollens