PHIL 1021 Study Guide - Modus Tollens, Logical Equivalence, Propositional Calculus
Document Summary
~q: commutativity (com) p v q :: q v p (p . q) :: (q . p, associativity (assoc) Rules of thumb for natural deduction proofs iii: we can use conjunctions to set up applications of dm, we can use addition to set up dm [dn can also be used with these rules to set up applications of dm, we can use distribution in two ways to set up an application of ds, we can use distribution in two ways to set up simplification, when you get stuck, a strategy to use is to deconstruct the conclusion into a logically equivalent statement and solve the premises from there. 7. 4 rules of replication ii: transposition (trans) (p (cid:201) q) :: (~p(cid:201)~q, material implication (impl) (p (cid:201) q) :: (~p v q, material equivalence (equiv) (pxq) :: [(p(cid:201)q . q(cid:201)p)] (pxq) :: [(p . q) v (~p .