Exercise 7.

4
Part I
1. G Q

7. C F

2. (R S) N

8. G (N Z)

3. P H

9. D H

4. B N

10. S G

5. A

11. J F

6. Q L

12. (C H) A

13. W T

15. S D

14. (K M) S

Part II
1. J M

1, Impl
2, 3, HS

9. (K A) F

1, Exp
2, 3, MT

2. J (F N)

1, Exp
2, 3, MP

10. H H

1, Impl
2, Taut

3. (C A) (A C)

1, 2, Conj
3, Equiv

11. S K

1, Add
2, Impl

4. K K

1, 2, CD
3, Taut

12. (M M) D

1, Exp
2, Taut

5. (G B) (H C)

1, Trans
2, 3, CD

13. (N A) (A N)

1, Trans
2, Equiv

6. (J M) Q

1, Exp
2, 3, MP

14. (E R) (E R)

1, Add
2, Equiv

7. H (C R)

1, Impl
2, Exp

15. Q (G W)

1, Trans
2, Exp

8. T G

1, Trans
2, 3, HS