21.

1. P ∨ (Q ⊃ R)
2. ∼Q ⊃ (S ∙ ∼T)
3. ∼P
4. ∼R / S ∙ ∼T
5. Q ⊃ R 1,3 DS
6. ~Q 4,5 MT
7. S ∙ ∼T 2,6 MP
QED

22. 1. P ∨ [Q ∨ (∼R ∨ S)]

2. T ⊃ ∼P
3. T ⊃ ∼Q
4. T
5. ∼∼R / S
6. ~P 2,4 MP
7. Q ∨ (∼R ∨ S) 1,6 DS
8. ~Q 3,4 MP
9. ∼R ∨ S 7,8 DS
10. S 9,5 DS
QED

23.
1. E ⊃ H
2. G ∨ ∼F
3. ∼G
4. H ⊃ F / ∼E
5. ~F 2,3 DS
6. ~H 4,5 MT
7. ~E 1,6 MT
QED

8.
1. ∼P ⊃ ∼Q
2. ∼R ⊃ ∼S
3. T ∨ (∼P ∨ ∼R)
4. ∼T / ∼Q ∨ ∼S
5. ∼P ∨ ∼R 3,4 DS
6. ∼Q ∨ ∼S 1,2,5 CD
QED

9.
1. N ∨ ∼∼P
2. ∼N ∙ Q
3. ∼P ∨ Q / ∼∼P ∙ Q
4. ~N 2, Simp
5. ~~P 4,1 DS
6. Q 2 Simp
7. ∼∼P ∙ Q 5,6 Conj
QED

12.
1. P ⊃ Q
2. ∼Q ∙ R / ∼P ∨ R
3. ~Q 2, Simp
4. ~P 1,3 MT
5. ~P v R 4, Add
QED
20.
1. M ⊃ N
2. O ⊃ P
3. M ∙ Q / N ∨ P
4. M 3, Simp
5. N 1,4, MP
6. N v P 5, Add
QED

22.
1. M ⊃ N
2. N ⊃ O
3. M ∙ P / O ∨ P
4. P 3, Simp
5. O ∨ P 4, Add
QED

3.1a

6.
1. Q ⊃ R
2. ∼(S ∨ T)
3. T ∨ Q / R
4. ~S ∙ ~T 2, DM
5. ~T 4, Simp
6. Q 3,5 DS
7. R 1,6 MP
QED

7.
1. X ⊃ Y
2. (∼Y ∙ Z) ∙ T
3. X ∨ W / W
4. ~Y ∙ Z 2, Simp
5. ~Y 4, Simp
6. ~X 1,5, MT
7. W 3,6 DS
QED

8.
1. ∼A ∨ B
2. ∼[(∼A ∨ C) ∨ D] / B
3. ~(∼A ∨ C) ∙ D 2, DM
4. ~(∼A ∨ C) 3, Simp
5. A ∙ ~C 4, DM
6. A 5, Simp
7. B 1,6 DS
QED

13.
1. ∼D ∙ ∼E
2. (D ∨ F) ∨ E / F
3. ~E 1, Simp
4. ~D 1, Simp
5. D v F 2,3 DS
6. F 4,5 DS
QED
18.
1. R ∙ (S ∨ T)
2. ∼R ∨ ∼S / T
3. R 1, Simp
4. ~S 2,3 DS
5. S v T 1, Simp
6. T 4,5 DS
QED

21.
1. P ∙ (∼Q ∨ R)
2. ∼P ∨ Q / P ∙ R
3. P 1, Simp
4. Q 2, DS
5. ~Q v R 1, Simp
6. R 4,5 DS
7. P ∙ R 3,6 Conj
QED

3.4 b

2.
1. P ∨ Q
2. ∼Q ∨ R / P ∨ R
3. Q ∙ ~R 2, DM
4. Q 3, Simp
5. R 2,4 DS
6. P v R 5, Add
QED

3.
1. ∼(P ≡ ∼Q )
2. P / Q
3. ~{(P ∙ ~Q) v (~P ∙ Q)}
4. ~(P ∙ ~Q) ∙ ~(~P ∙ Q)
5. ~(P ∙ ~Q) 4, Simp
6. ~P v Q 5, DM, DN
7. Q 2, 6 DS
QED

9.
1. A ∨ (B ∨ A)
2. ∼(B ∨ C)
3. A ⊃ D / D
4. ~B ∙ ~C
5. (A v A) v B 1, Com
6. A v B 5, Taut
7. ~B 4, Simp
8. A 6, 7, DS
9. D 3, 8, MP
QED

11.
1. L ⊃ ∼(∼M ∨ K)
2. M ⊃ (∼K ⊃ N)
3. ∼N / ∼L
4. (M ∙ ~K) ⊃ N 2, Exp
5. ~(M ∙ ~K) 3, 4, MT
6. L ⊃ (M ∙ ~K) 1, DM, DN
7. ~L 4, 6 MT
QED

17.
1.∼(P ∨ Q ) ⊃ R
2. ∼P / ∼R ⊃ Q
3. (~P ∙ ~Q) ⊃ R 1, DM
4. ~P ⊃ (~Q ⊃ R) 3, Exp
5. ~Q ⊃ R 4, MP
6. ~R ⊃ Q 5, Cont, DN
QED

1.
1. A ⊃ B
2. B ⊃ ∼B / ∼A
3. ~B v ~B 2, Impl
4. ~B 3, Taut
5. ~A 4,1 MT
QED

3.
1. G ⊃ H
2. ∼(I ⊃ H) / ∼G
3. ~(~I v H) 2, Impl
4. I ∙~H 3, DM, DN
5. ~H 4, Simp
6. ~G 5, 1 MT
QED

6.
1. P ⊃ Q
2. P / R ⊃ Q
3. Q 1, 2, MP
4. ~R v Q 2, Impl
5. R ⊃ Q 3, 4, Add, Impl
QED

8.
1. (A ⊃ B) ⊃ C
2. ∼A ∨ (B ∙ D) / C
3. (~A v B) ∙ (~A v D) 2, Dist
4. ~A v B 3, Simp
5. A ⊃ B 4, Impl
6. ~C ⊃ ~(A ⊃ B) 1, Cont
7. ~~C 6, 5 MT
8. C 7, DN
QED

13.
1. P ⊃ (∼Q ⊃ ∼R)
2. R / P ⊃ Q
3. P ⊃ (R ⊃ Q) 1, Cont
4. (P ∙ R) ⊃ Q 3, Exp
6. ~(P ∙ R) v Q
7. (~P v ~R) v Q
8. (~P v Q) v ~R
9. ~P v Q 8, DS
10. P ⊃ Q 9, Impl
QED

16.
1. I ⊃ J
2. ∼J ∙ K
3. ∼J ⊃ L
4. ∼∼I / K ∙ L
5. ~J 2, Simp
6. L 3, 5 MP
7. K 2, Simp
8. K ∙ L 6, 7 Conj
QED