130 likes | 1.6k Views
p. ————>. q. Modus Toll ens (Denying the consequent). The modus tollens is one type of deductive inference . If Rex is a dog, Rex has four legs. Rex has not four legs. ---------------------------------------------- Rex is not a dog. p ————> q (If p, then q) Not q (given: not q)
E N D
p ————> q Modus Tollens (Denying the consequent) The modus tollens is one type of deductive inference. If Rex is a dog, Rex has four legs. Rex has not four legs. ---------------------------------------------- Rex is not a dog p ————> q (If p, then q) Not q (given: not q) ------------------------------------------- Not p (Inference: not p) Not q Not p Please note that denying the antecedent is logically unsound: Even if Rex is not a dog, he can well have four legs. Contributor © POSbase