Section 7.

5 Part I
(1)
1. N O
2. N P
/ N (O P)
3. N ACP
4. O 1, 3, MP
5. P 2, 3, MP
6. O P 4, 5, Conj
7. N (O P) 3-6, CP
(2)
1. F E
2. (F E) R
/FR
3. F ACP
4. E 1, 3, MP
5. F E 3, 4, Conj
6. R 2, 5, MP
7. F R 3-6, CP
(3)
1. G T
2. (T S) K
/GK
3. G ACP
4. T 1, 3, MP
5. T S 4, Add
6. K 2, 5, MP
7. G K 3-6, CP
(4)
1. (G H) (S T)
2. (T U) (C D)
3. G ACP
4. G H 3, Add
5. S T 1, 4, MP
6. T S 5, Com
7. T 6, Simp
8. T U 7, Add
9. C D 2, 8, MP
10. C 9, Simp
11. G C 3-10, CP

/GC

(5)
1. A (A E)
/AF
2. A ACP
3. (A E) 1, 2, MP
4. A E 3, DM
5. A 4, Simp
6. A F 2, Add
7. F 5, 6, DS
8. A F 2-7, CP
(6)
1. J (K L)
2. J (M L)
3. L
/ J (K M)
4. J ACP
5. K L 1, 4, MP
6. M L 2, 4, MP
7. K 3, 5, MT
8. M 3, 6, MT
9. K M 7, 8, Conj
10. (K M) 9, DM
11. J (K M) 4-10, CP
(7)
1. M (N O)
/ N M
2. M ACP
3. N O 1, 2, DS
4. N 3, Simp
5. M N 2-4, CP
6. M N 5, DN
7. N M 6, Trans

(8)
1. P (Q R)
2. (P R) (S T)
3. Q R
/T
4. P ACP
5. Q R 1, 4, MP
6. R Q 5, Com
7. R Q 6, DN
8. R Q 7, Impl
9. R R 3, 8, HS
10. R R 9, Impl
11. R R 10, DN
12. R 11, Taut
13. P R 4-12, CP
14. S T 2, 13, MP
15. T S 14, Com
16. T 15, Simp
(9)
1. H (I N)
2. (H I) (M N)
3. N
4. H ACP
5. I N 1, 4, MP
6. I 3, 5, MT
7. H I 4-6, CP
8. M N 2, 7, MP
9. N M 8, Com
10. M 3, 9, DS

(11)
1. M (K L)
2. (L N) J
/ M (K J)
3. M ACP
4. K ACP
5. K L 1, 3, MP
6. L 4, 5, MP
7. L N 6, Add
8. J 2, 7, MP
9. K J 4-8, CP
10. M (K J) 3-9, CP

/M

(10)
1. C (A D)
2. B (A E)
/ (C B) A
3. C B ACP
4. [C (A D)] [B (A E)] 1, 2, Conj
5. (A D) (A E) 3, 4, CD
6. A (D E) 5, Dist
7. A 6, Simp
8. (C B) A 3-7, CP

(12)
1. F (G H)
/ (A F) (A H)
2. A F ACP
3. A ACP
4. F 2, 3, MP
5. G H 1, 4, MP
6. H G 5, Com
7. H 6, Simp
8. A H 3-7, CP
9. (A F) (A H) 2-8, CP
(13)
1. R B
2. R (B F)
3. B (F H)
/RH
4. R ACP
5. B 1, 4, MP
6. B F 2, 4, MP
7. F 5, 6, MP
8. F H 3, 5, MP
9. H 7, 8, MP
10. R H 4-9, CP

(14)
1. (F G) H
2. F G
/FH
3. [(F G) H] [H (F G)] 1, Equiv
4. F ACP
5. G 2, 4, MP
6. F G 4, 5, Conj
7. (F G) H 3, Simp
8. H 6, 7, MP
9. F H 4-8, CP
10. H ACP
11. [H (F G)] [(F G) H] 3, Com
12. H (F G) 11, Simp
13. F G 10, 12, MP
14. F 13, Simp
15. H F 10-14, CP
16. (F H) (H F) 9, 15, Conj
17. F H 16, Equiv
(15)
1. C (D E)
2. E (D F)
/ C (E F)
3. C ACP
4. E ACP
5. D E 1, 3, MP
6. E D 5, Com
7. E 4, DN
8. D 6, 7, DS
9. D F 2, 4, MP
10. F 8, 9, MP
11. E F 4-10, CP
12. C (E F) 3-11, CP

(16)
1. Q (R S)
2. Q (T U)
3. U (R T)
/ Q (U S)
4. Q ACP
5. U ACP
6. R S 1, 4, MP
7. T U 2, 4, MP
8. U 5, DN
9. T 7, 8, MT
10. R T 3, 5, MP
11. T R 10, Com
12. R 9, 11, DS
13. S 6, 12, MP
14. U S 5-13, CP
15. Q (U S) 4-14, CP
(17)
1. N (O P)
2. Q (R S)
/ (P Q) (N S)
3. P Q ACP
4. N ACP
5. O P 1, 4, MP
6. P O 5, Com
7. P 6, Simp
8. Q 3, 7, MP
9. R S 2, 8, MP
10. S R 9, Com
11. S 10, Simp
12. N S 4-11, CP
13. (P Q) (N S) 3-12, CP

(18)
1. E (F G)
2. H (G I)
3. (F I) (J H)
/ (E H) J
4. E H ACP
5. E 4, Simp
6. F G 1, 5, MP
7. H E 4, Com
8. H 7, Simp
9. G I 2, 8, MP
10. F I 6, 9, HS
11. J H 3, 10, MP
12. H J 11, Com
13. H 8, DN
14. J 12, 13, DS
15. (E H) J 4-14, CP
(19) 1. P [(L M) (N O)]
2. (O T) W
/ P (M W)
3. P ACP
4. M ACP
5. (L M) (N O) 1, 3, MP
6. M L 4, Add
7. L M 6, Com
8. N O 5, 7, MP
9. O N 8, Com
10. O 9, Simp
11. O T 10, Add
12. W 2, 11, MP
13. M W 4-12, CP
14. P (M W) 3-13, CP

(20)
1. A [B (C D)]
2. (B E) (D E)
/ (A B) (C E)
3. A B ACP
4. A 3, Simp
5. B (C D) 1, 4, MP
6. B A 3, Com
7. B 6, Simp
8. C D 5, 7, MP
9. C 8, Simp
10. D C 8, Com
11. D 10, Simp
12. B E 7, Add
13. D E 2, 12, MP
14. E 11, 13, DS
15. C E 9, 14, Conj
16. (A B) (C E) 3-15, CP