Modus tollendo ponens

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

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\,\!

Analogiczny schemat wnioskowania dedukcyjnego ma postać:

p lub q,
nie p.

Zatem: q.

Zobacz też[edytuj | edytuj kod]