Section 7.

4 Part III

(5)
1. N P

(1)

2. (N P) T

1. (S K) R

3. N P 1, Impl

2. K

/SR

/T

4. T 2, 3, MP

3. (K S) R 1, Com
4. K (S R) 3, Exp

(6)

5. S R 2, 4, MP

1. F B
2. B (B J)

/FJ

(2)

3. (B B) J 2, Exp

1. T (F F)

4. B J 3, Taut

2. (F F)

/ T

5. F J 1, 4, HS

3. T F 1, Taut
4. F 2, Taut

(7)

5. T 3, 4, MT

1. (B M) (D M)
2. B D

/M

(3)

3. M M 1, 2, CD

1. G E

4. M 3, Taut

2. H E

/ G H

3. E H 2, Trans

(8)

4. E H 3, DN

1. Q (F A)

5. G H 1, 4, HS

2. R (A F)
3. Q R

/FA

(4)

4. Q 3, Simp

1. S Q

5. F A 1, 4, MP

2. S

/ Q

6. R Q 3, Com

3. (S Q) (Q S) 1, Equiv

7. R 6, Simp

4. (Q S) (S Q) 3, Com

8. A F 2, 7, MP

5. Q S 4, Simp

9. (F A) (A F) 5, 8, Conj

6. Q 2, 5, MT

10. F A 9, Equiv

(9)

(12)

1. T (T G)

1. T

2. G

2. T S 1, Add

/ T

/ST

3. T (T G) 1, Impl

3. S T 2, Com

4. (T T) G 3, Exp

4. S T 3, Impl

5. T G 4, Taut
(13) 1. K (B M)

6. T 2, 5, MT

2. D (K M)

/ D B

(10)

3. K (M B) 1, Trans

1. (B G) (F N)

4. K (M B) 3, DN

2. (G N)

/ (B F)

3. G N 2, DM

5. (K M) B 4, Exp
6. D B 2, 5, HS

4. (G B) (F N) 1, Trans
5. (G B) (N F) 4, Trans

(14)

6. B F 3, 5, CD

1. (O C) (S D)

7. (B F) 6, DM

2. (E D) (E C)

/OS

3. O C 1, Simp
(11)

4. (S D) (O C) 1, Com

1. (J R) H

5. S D 4, Simp

2. (R H) M

6. D S 5, Trans

3. (P J)

/ M P

7. E D 2, Simp

4. J (R H) 1, Exp

8. (E C) (E D) 2, Com

5. J M 2, 4, HS

9. E C 8, Simp

6. P J 3, DM

10. C E 9, Trans

7. P J 6, DN

11. O E 7, 10, HS

8. P 7, Simp

12. O D 7, 11, HS

9. J P 7, Com

13. O S 6, 12, HS

10. J 9, Simp
11. M 5, 10, MP
12. M P 8, 11, Conj

(15)

(18)

1. (U W) X

1. M (U H)

2. U U

/ (U X)

2. (H U) F

/MF

3. U U 2, Impl

3. (U H) F 2, Com

4. U 3, Taut

4. (U H) F 3, Impl

5. U W 4, Add

5. M F 1, 4, HS

6. (U W) 5, DM
7. X 1, 6, MP

(19)

8. U X 4, 7, Conj

1. R P

9. U X 8, DN

2. R P

10. (U X) 9, DM

3. R P 1, Impl

/RP

4. P R 2, Com
(16)

5. P R 4, Impl

1. T R

6. (R P) (P R) 3, 5, Conj

2. T R

/ T

7. R P 6, Equiv

3. R T 2, Trans
4. R T 3, DN

(20)

5. T T 1, 4, HS

1. H B

6. T T 5, Impl

2. H D

7. T 6, Taut

3. (B D)

/H

4. B H 1, Trans
(17)

5. B H 4, DN

1. S N

6. D H 2, Trans

2. S Q

/NQ

7. D H 6, DN

3. N S 1, Com

8. B D 3, DM

4. N S 3, Impl

9. (B H) (D H) 5, 7, Conj

5. S Q 2, Impl

10. H H 8, 9, CD

6. N Q 4, 5, HS

11. H 10, Taut

(21)
1. J (G L)

(25)
/ G (J L)

1. T G

2. (J G) L 1, Exp

2. S G

/ (T S) G

3. (G J) L 2, Com

3. T G 1, Impl

4. G (J L) 3, Exp

4. S G 2, Impl
5. G T 3, Com

(22)

6. G S 4, Com

1. S (L M)

7. (G T) (G S) 5, 6, Conj

2. M (L R)

/SR

8. G (T S) 7, Dist

3. (M L) R 2, Exp

9. (T S) G 8, Com

4. (L M) R 3, Com

10. (T S) G 9, DM

5. S R 1, 4, HS

11. (T S) G 10, Impl

(23)

(26)

1. F (A K)

1. H U

2. G (A K)

2. H U 1, Impl

3. F G

/AK

/ H (U T)

3. (H U) T 2, Add

4. [F (A K)] [G (A K)] 1, 2, Conj

4. H (U T) 3, Assoc

5. (A K) (A K) 3, 4, CD

5. H (U T) 4, Impl

6. A K 5, Equiv
(27)
(24)

1. Q (W D)

1. (I E) C

2. Q (W D) 1, Impl

2. C C

/I

/QW

3. (Q W) (Q D) 2, Dist

3. C C 2, Impl

4. Q W 3, Simp

4. C 3, Taut

5. Q W 4, Impl

5. (I E) 1, 4, MT

(28) 1. P (E B)

6. (I E) 5, Impl

2. (B E) / P

7. I E 6, DM

3. (E B) 2, Com

8. I E 7, DN

4. (E B) 3, DN

9. I 8, Simp

5. (E B) 4, Impl
6. P 1, 5, MT

(29)

(31)

1. (G J) (H Q)

1. K R

2. J Q

/ H

2. K (R P)

3. J 2, Simp

3. P

/ R

4. J G 3, Add

4. (K R) (K R) 1, Equiv

5. G J 4, Com

5. (K R) P 2, Exp

6. G J 5, Impl

6. (K R) 3, 5, MT

7. H Q 1, 6, MP

7. K R 4, 6, DS

8. Q J 2, Com

8. R K 7, Com

9. Q 9, Simp

9. R 8, Simp

10. H 7, 9, MT
(32)
(30)

1. C (L Q)

1. I (N F)

2. L C

2. I F

/F

3. Q

/ C

3. (I N) (I F) 1, Dist

4. (C L) Q 1, Exp

4. (I F) (I N) 3, Com

5. (C L) 3, 4, MT

5. I F 4, Simp

6. C L 5, DM

6. I F 5, DN

7. C L 6, DN

7. I F 6, Impl

8. C L 7, Impl

8. F I 2, Trans

9. C C 2, 8, HS

9. F F 7, 8, HS

10. C C 9, Impl

10. F F 9, Impl

11. C 10, Taut

11. F F 10, DN
12. F 11, Taut

(33)

(35)

1. (E A) (F A)

1. T (H J)

2. E G

2. (H N) T

3. F G

/A

/TH

3. T (H J) 1, Impl

4. E G 2, DN

4. (T H) (T J) 3, Dist

5. E G 4, Impl

5. T H 4, Simp

6. F G 3, DN

6. T H 5, Impl

7. F G 6, Impl

7. (H N) T 2, Impl

8. G F 7, Trans

8. (H N) T 7, DM

9. E F 5, 8, HS

9. T (H N) 8, Com

10. E F 9, Impl

10. (T H) (T N) 9, Dist

11. E F 10, DN

11. (H T) (T N) 10, Com

12. A A 1, 11, CD

12. H T 11, Simp

13. A 12, Taut

13. H T 12, Impl

14. (T H) (H T) 6, 13, Conj

(34)

15. T H 14, Equiv

1. (F H) N
2. F S
3. H

(36) 1. T (A N)
/NS

2. T N

/ T N

4. (H F) N 1, Com

3. T (A N) 1, Impl

5. H (F N) 4, Exp

4. T (A N) 3, Impl

6. F N 3, 5, MP

5. T (A N) 4, DM

7. N F 6, Trans

6. T (A N) 5, DN

8. F S 2, DN

7. (T A) (T N) 6, Dist

9. F S 8, Impl

8. (T N) (T A) 7, Com

10. N S 7, 9, HS

9. T N 8, Simp

11. N S 10, Impl

10. T N 9, Impl

12. N S 11, DN

11. N T 2, Com
12. N T 11, DN
13. N T 12, Impl
14. (T N) (N T) 10, 13, Conj
15. T N 14, Equiv

(37)

(38)

1. (D E) (E D)

1. (O R) S

2. (D E) (G H)

2. (P R) S

3. E G

3. S (P R) 2, Trans

/GH

/ R

4. E 3, Simp

4. S (P R) 3, DN

5. E D 4, Add

5. (O R) (P R) 1, 4, HS

6. D E 5, Com

6. (O R) (P R) 5, Impl

7. D E 6, Impl

7. (O R) (P R) 6, Impl

8. E D 1, 7, MP

8. (O R) (P R) 7, DM

9. (D E) (E D) 7, 8, Conj

9. (O R) (P R) 8, DN

10. D E 9, Equiv

10. (R O) (P R) 9, Com

11. (G H) 2, 10, MP

11. (R O) (P R) 10, DM

12. G H 11, DM

12. (R O) (P R) 11, DN

13. G H 12, DN

13. (R O) (R P) 12, Com

14. G E 3, Com

14. R (O P) 13, Dist

15. G 14, Simp

15. R 14, Simp

16. G 15, DN
17. H 13, 16, DS

(39)

18. G H 15, 17, Conj

1. (L P) U
2. (M U) I
3. P
4. P L 3, Add
5. L P 4, Com
6. U 1, 5, MP
7. U M 6, Add
8. M U 7, Com
9. M U 8, Impl
10. I 2, 9, MP

/I

(40)

(42)

1. A W

1. G M

2. A W

2. G M

3. R A

/ (W R)

3. G (M T)

/T

4. (A W) (A W) 1, Equiv

4. (G M) (G M) 1, Equiv

5. (A W) 2, DM

5. G M 2, DN

6. A W 4, 5, DS

6. G M 5, DN

7. A 6, Simp

7. (G M) 6, DM

8. R 3, 7, MT

8. (G M) (G M) 4, Com

9. W A 6, Com

9. G M 7, 8, DS

10. W 9, Simp

10. (G M) T 3, Exp

11. W R 8, 10, Conj

11. T 9, 10, MP

12. (W R) 11, DM
(43)
(41)

1. O (Q N)

1. (S T) (S T)

2. (N E) S

2. (S T) (T K)

3. O (Q N) 1, Impl

3. S T

4. (O Q) (O N) 3, Dist

/SK

/OS

4. S T 1, 3, MP

5. (O N) (O Q) 4, Com

5. T K 2, 4, MP

6. O N 5, Simp

6. S T 3, DN

7. O N 6, Impl

7. S T 6, Impl

8. (N E) S 2, Impl

8. S K 5, 7, HS

9. (N E) S 8, DM

9. S K 8, Impl

10. S (N E) 9, Com

10. S K 9, DN

11. (S N) (S E) 10, Dist

12. S N 11, Simp
13. N S 12, Com
14. N S 13, Impl
15. O S 7, 14, HS

(44)

(45)

1. H I

1. P A

2. H (I F)

2. Q B

3. (H I) F

/F

/ (P Q) (A B)

3. P A 1, Impl

4. (H I) (H I) 1, Equiv

4. Q B 2, Impl

5. (H I) F 2, Exp

5. (P A) B 3, Add

6. (H I) F 3, DM

6. (Q B) A 4, Add

7. [(H I) F] [(H I) F] 5, 6, Conj

7. P (A B) 5, Assoc

8. F F 4, 7, CD

8. Q (B A) 6, Assoc

9. F 8, Taut

9. Q (A B) 8, Com
10. (A B) P 7, Com
11. (A B) Q 8, Com
12. [(A B) P] [(A B) Q] 10, 11, Conj
13. (A B) (P Q) 12, Dist
14. (P Q) (A B) 13, Com
15. (P Q) (A B) 14, DM
16. (P Q) ( A B) 15 Impl