Exercise 7.

6
Part I
(1)
1. (S T) S
2. S
3. S T
4. S
5. S S
6. S
(2)
1. (K K) R
2. (R M) N
3. N
4. (R M)
5. R M
6. R
7. (K K)
8. (K K)
9. K K
10. K K
11. N
12. N

/ S
AIP
2, Add
1, 3, MP
2, 4, Conj
2-5, IP

/N
AIP
2, 3, MT
4, DM
5, Simp
1, 6, MT
7, Impl
8, DM
9, DN
3-10, IP
11, DN

(3)
1. (C D) E
2. (D E) F
3. C D
4. E
5. D C
6. D
7. D E
8. F
9. (C D) F

/ (C D) F
ACP
1, 3, MP
3, Com
5, Simp
4, 6, Conj
2, 7, MP
3-8, CP

(4)
1. H (L K)
2. L (K L)
3. H L
4. H
5. L K
6. L H
7. L
8. K L
9. K
10. L
11. L L
12. (H L)
13. H L

/ H L
AIP
3 Simp
1, 4, MP
3, Com
6, Simp
2, 7, MP
5, 7, MP
8, 9, MP
7, 10, Conj
3-11, IP
12, DM

(5)
1. S (T U)
2. U (T R)
3. (S U) R
4. (S U)
5. S U
6. S U
7. S U
8. R
9. S
10. U S
11. U
12. T U
13. T R
14. R T
15. T
16. U
17. U U
18. (S U)
19. S U

/ S U
AIP
4, DM
5, DN
6, DN
3, 7, MP
7, Simp
7, Com
10, Simp
1, 9, MP
2, 11, MP
13, Com
8, 14, DS
12, 15, DS
11, 16, Conj
4-17, IP
18, DN

(6)
1. A (B C)
2. D C
3. D
4. C
5. C B
6. B C
7. (B C)
8. A
9. A
10. D A

/D A
ACP
2, 3, MP
4, Add
5, Com
6, DM
1, 7, MT
8, DN
3-9, CP

(7)
1. (E F) (C D)
2. (D G) H
3. E G
4. H AIP
5. (D G)
6. D G
7. D
8. D C
9. C D
10. (C D)
11. (E F)
12. E F
13. E
14. G
15. G D
16. G
17. G G
18. H
19. H
(8)
1. M (N O)
2. N P
3. O P
4. M
5. N O
6. N
7. P
8. O N
9. O
10. P
11. P P
12. M
13. M

/H
2, 4, MT
5, DM
6, Simp
7, Add
8, Com
9, DM
1, 10, MT
11, DM
12, Simp
3, 13, DS
6, Com
15, Simp
14, 16, Conj
4-17, IP
18, DN

/M
AIP
1, 4, MP
5, Simp
2, 6, MP
5, Com
8, Simp
3, 9, MP
7, 10, Conj
4-11, IP
12, DN

(9)
1. (R S) T
2. (P Q) T
3. R P
/T
4. R
5. R S
6. T
7. R T
8. P
9. P Q
10. T
11. P T
12. (R T) (P T)
13. T T
14. T

ACP
4, Add
1, 5, MP
4-6, CP
ACP
8, Add
2, 9, MP
8-10, CP
7, 11, Conj
3, 12, CD
13, Taut

(10)
1. K

/ S (T S)
2. S
ACP
3. S T
2, Add
4. T S
3, Com
5. T S
4, Impl
6. S (T S)
2-5, CP
(11)
1. (A B) C
2. (A D) E
3. C
4. (A B)
5. A B
6. A
7. A D
8. E 2,
9. C E
10. C E
11. C E

/C E
ACP
1, 3, MT
4, DM
5, Simp
6, Add
7, MP
3-8, CP
9, Impl
10, DN

(12)
1. (K L) (M N)
2. (N O) (P K)
3. K
4. K L
5. M N
6. N M
7. N
8. N O
9. P K
10. K P
11. K
12. K K
13. K 3-12, IP
(13)
1. [C (D C)] E
2. C
3. C D
4. D C
5. D C
6. C (D C)
7. E
(14)
1. F

/ K
AIP
3, Add
1, 4, MP
5, Com
6, Simp
7, Add
2, 8, MP
9, Com
10, Simp
3, 11, Conj

/E
ACP
2, Add
3, Com
4, Impl
2-5, CP
1, 6, MP

/ (G H) (G J)
2. G H
ACP
3. G
2, Simp
4. G J
3, Add
5. G J
4, DN
6. G J
5, Impl
7. (G H) (G J)
2-6, CP
8. (G H) (G J)
7, Impl
9. (G H) (G J) 8, DM
10. (G H) (G J)
9, DN
11. (G H) (G J)
10, Impl

(15)
1. B (K M)
2. (B M) (P P)
3. B
4. K M
5. M K
6. M
7. B M
8. P P
9. (P P) (P P)
10. (P P) (P P)
11. (P P) (P P)
12. P P
13. B
(16)
1. (N O) (C D)
2. (D K) (P C)
3. (P G) (N D)
4. N
5. N O
6. C D
7. D C
8. D
9. D K
10. P C
11. C
12. C
13. C P
14. P
15. P G
16. (N D)
17. N D
18. N
19. D
20. D D
21. N 4-20, IP

/ B
AIP
1, 3, MP
4, Com
5, Simp
3, 6, Conj
2, 7, MP
8, Equiv
9, DN
10, Com
11, Taut
3-12, IP

/ N
AIP
4, Add
1, 5, MP
6, Com
7, Simp
8, Add
2, 9, MP
6, Simp
11, DN
10, Com
12, 13, DS
14, Add
3, 15, MP
16, DM
4, DN
17, 18, DS
8, 19, Conj

(17)
1. (R S) (G H)
2. R S
3. H G
4. [(R S) (G H)] [(G H) (R S)]
5. R
6. S
7. R S
8. (R S) (G H)
9. G H
10. H G
11. H
12. R H
13. H
14. G
15. G H
16. [(G H) (R S)] [(R S) (G H)]
17. (G H) (R S)
18. R S
19. R
20. H R
21. (R H) (H R)
22. R H
(18)
1. K [(M N) (P Q)]
2. L [(Q R) (S N)]
3. K L
4. K
5. (M N) (P Q)
6. L K
7. L
8. (Q R) (S N)
9. N
10. N M
11. M N
12. P Q
13. Q P
14. Q
15. Q R
16. S N
17. N S
18. N
19. N N
20. N
21. (K L) N

/RH
1, Equiv
ACP
2, 5, MP
5, 6, Conj
4, Simp
7, 8, MP
9, Com
10, Simp
5-11, CP
ACP
3, 13, MP
13, 14, Conj
4, Com
16, Simp
15, 17, MP
18, Simp
13-19, CP
12, 20, Conj
21, Equiv

/ (K L) N
ACP
3, Simp
1, 4, MP
3, Com
6, Simp
2, 7, MP
AIP
9, Add
10, Com
5, 11, MP
12, Com
13, Simp
14, Add
8, 15, MP
16, Com
17, Simp
9, 18, Conj
9-19, IP
3-20, CP

(19)
1. A [(N N) (S T)]
2. T (F F)
3. A S
4. A
5. (N N) (S T)
6. N
7. N N
8. N
9. N N
10. N N
11. N N
12. S T
13. S A
14. S
15. T
16. (F F)
17. F F
18. (A S)
19. A S
20. A S
21. A S

/A S
AIP
3, Simp
1, 4, MP
ACP
6, Add
7, Taut
6-8, CP
9, Impl
10, Com
5, 11, MP
3, Com
13, Simp
12, 14, DS
2, 15, MP
16, DM
3-17, IP
18, DM
19, DN
20, Impl

(20)
1. F [(C C) G]
2. G {[H (E H)] (K K)}
3. F
4. (C C) G
5. C
6. C C
7. C
8. C C
9. G
10. [H (E H)] (K K)
11. H
12. H E
13. E H
14. E H
15. H (E H)
16. K K
17. F

/ F
AIP
1, 3, MP
ACP
5, Add
6, Taut
5-7, CP
4, 8, MP
2, 9, MP
ACP
11, Add
12, Com
13, Impl
11-14, CP
10, 15, MP
3-16, IP