Exercises 1.6 (page 77)

Question 5

Also: Show the validity of the following logical arguments

1. a (a b)

2. (p q) (p q) q

3. b a c (b c)

4. (a b) (b c) (cd) (a d)

5. (a b) (a c) (bc) c

Here are some additional practice problems (not to be handed in for homework)

(y z) (x y) [y (x w)] (y z) (y w)

(a b) (c a) (c b) a

(p (q r)) (r s) (s t) (t p)