This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: (p q)•(r s), p v r, q v s CD absorption p q, p (p•q) abs simplification p•q, p simp conjunction p, q, p•q conj addition p, p v q add Example 1: (a•b) c, (a•b) [(a•b) • c] • absorption • p q, p (p•q) 13. (c v d) [(j v k) (j•k)], ~[(j v k) (j•k)], therefore ~(c v d) modus tollens p q, ~q, therefore p...
View Full Document
This note was uploaded on 03/16/2011 for the course PHIL 045 taught by Professor Hopper during the Fall '07 term at GWU.
- Fall '07