## FANDOM

174 Pages

Modus Tollens is a rule of inference in propositional logic that states that if we have a Material Condtional that has a false consequent, then we may infer the negation of the antecedent. In other words, if P implies Q is true and Q is false, then we may infer that P is false. In rule form, this is often expressed as

$\frac {P \rightarrow Q, \lnot Q} {\therefore \lnot P}$

Natural Deduction Transformation Rules
Rules of inference
Rules of Transformation