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:
![{\displaystyle [(p\lor q)\land \neg p]\Rightarrow q}](../I/2e30effa12a3e878cefd7fc5ac014654298f6b34.svg)
Analogiczny schemat wnioskowania dedukcyjnego ma postać:
p lub q, nie p. Zatem: q.
Zobacz też
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.