|

(1) 1. H v F (9) 1. (D ● H ) v (∼D ● ∼H )

2. N v ∼S 2. (F ⊃ J ) ● (∼F ⊃ ∼J )
3. ∼G v Q 3. (N v T ) ● (∼N v ∼T )
4. G ⊃ Q 3 , Impl / MI 4. D ≡ H 1 , Equiv

(2) 1. R ⊃ (S ⊃ N ) (10) 1. L ⊃ (A ⊃ A)
2. T ⊃ (U v M ) 2. K ⊃ (R v ∼R )
3. K ● (L ⊃ W ) 3. S ⊃ (G ● G )
4. (R • S) ⊃ N 1 , Exp 4. S ⊃ G 3 , Taut

(3) 1. G ≡ R (11) 1. K ● (S v B )
2. H ⊃ P 2. ∼F ⊃ ∼J
3. ∼F v T 3. ∼E v ∼M
4. ~P ⊃ ~H 2 , Trans 4. J ⊃ F 2 , Trans

(4) 1. (B ⊃ N ) ● (N ⊃ B) (12) 1. H ⊃ (K ● J )
2. (R v F ) ● (F v R) 2. (N v E ) ⊃ B
3. (K ⊃ C ) v (C ⊃ K ) 3. C ⊃ (H ⊃ A)
4. B ≡ N 1 , Equiv 4. (C • H)⊃ A 3 , Exp

(5) 1. E v ∼E (13) 1. (A ⊃ ∼C ) ● (C ⊃ ∼A)

2. A v A 2. (W ⊃ ∼T ) ● (∼T ⊃ W )
3. G ● ∼G 3. (M ⊃ ∼E ) ● (∼M ⊃ E )
4. A 2 , Taut 4. W ≡ ~T 2 , Equiv

(6) 1. S v ∼M (14) 1. (∼K v M) ≡ S

2. ∼N ● ∼T 2. T v (F ● G )
3. ∼L ⊃ Q 3. R ≡ (N ● ∼H )
4. ~Q ⊃ ~~L 3 , Trans 4. (K ⊃ M) ≡ S 1 , Impl / MI

(7) 1. ∼C ⊃ ∼F (15) 1. (S v S) ⊃ D
2. D v ∼P 2. K ⊃ (T ● ∼T )
3. ∼R ● Q 3. (Q ⊃ Q) ⊃ M
4. ~~C v ~F 1 , Impl / MI 4. S ⊃ D 1 , Taut

(8) 1. E ⊃ (R ● Q)
2. (G ● N ) ⊃ Z
3. (S ⊃ M ) ⊃ P
4. G ⊃ (N ⊃ Z) 2 , Exp