Jake Dickerson

Logic

Dr. Montgomery

8.2 Five Equivalence Rules

2. [2. 1, Contraposition]

3. [2. 1, DeM; 3. -2, DN; 4. -3, Com]

5. [2. 1 SIMP; 3. - 1 SIMP; 4. -3 As; 5. 2, 4 DS]

6. [2. 1, As; 3. -2 SIMP; 4. 3 Com]

8. [2. 1, SIMP; 3. 2, Com; 4. 1, SIMP; 5. 3 DN; 6. 4, 5, DS; 7. -6, DN]

9. [2. 1, As; 3. -2, DeM; 4. 3- Com.]

11. [2. 1, SIMP; 3. -2, ADD; 4. -3, DN; 5. -1, SIMP; 6. 4, 5, DS]

12. [2. -1, ADD; 3. 2 DeM; 4. 3 DN.]

14. [2. -1, SIMP; 3. -1, SIMP; 4. 2, 3, HS; 5. -4, Cont]

15. [2. 1, Cont; 3. -2, DN; 4. -3, ADD]

PART C:

2.

1. (W -> U) * ~X .:. ~U -> ~W

2. (W -> U) 1, SIMP

3. ~U -> ~W 2, Cont
3.

1. F -> ~G

2. G .:. ~F

3. ~~G 2, DN

4. ~F 1, 3 MT

5.

1. (~P -> Q) * ~Q .:. P

2. (~P -> Q) 1, SIMP

3. ~Q 1, SIMP

4. ~Q -> ~~P 2, Cont

5. ~~P 3, 4 MP

6. P 5, DN

6.

1. ~(N v M)

2. ~L -> (M v N) .:. L

3. ~(M v N) -> ~~L 2, Cont

4. ~(M v N) 1, Com

5. ~~L 3, 4 MP

6. L 5 DN

8.

1. (W * ~X) v (Y * Z)
 2. (~X * W) -> U

3. (Y * Z) -> T .:.U v T

4. (~X * W) v (Y * Z) 1, Com

5. U v T 4, 2, 3 CD

9.

1. ~(S v R)

2. P -> R .:. ~P

3. ~S * ~R 1, DeM

4. ~R 3, SIMP

5. ~P 2, 4 MT

11.

1. K v (L v S)

2. ~(K v L) .:. S

3. (K v L) v S 1, As

4. S 2, 3 DS

12.

1. ~P

2. ~(P v Q) -> ~R

3. ~Q .:. ~R

4. ~P * ~Q 1, 3 CONJ

5. ~(P v Q) 4 DeM

6. ~R 2, 5 MP
PART D:

2.

1. ~(J * L)

2. (~J v ~L) -> M

3. ~E v (M v ~S) .:. ~(S * E)

4. (~J v ~L) 1 DeM

5. M 4, 2 MP

6. M v ~S 5 ADD

7. ~E 3, 6 DS

8. ~S v ~E 7 ADD

9. ~(S * E) 8 DeM

3.

1. E -> [~(H v K) -> R]

2. ~~E * (~H * ~K) .:. ~~R

3. ~~E 2 SIMP

4. E 3 DN

5. ~(H v K) -> R 1, 4 MP

6. (~H * ~K) 2 SIMP

7. ~(H v K) 6 DeM

8. R 5, 7 MP

9. ~~R 8 DN

5.
 1. P v (Q v R)

2. (Q v P) -> ~S

3. R -> ~T

4. U -> (S * T) .:. ~U v Z

5. (P v Q) v R 1 As

6. (Q v P) v R 5 Com

7. ~S v ~T 6, 2, 3 CD

8. ~(S * T) -> ~U 4 Cont

9. ~(S * T) 7 DeM

10. ~U 8, 9 MP

11. ~U v Z 10 ADD

6.

1. ~~W * [(X v W) -> Y]

2. H -> ~Y .:. ~H

3. ~~Y -> ~H 2, Con

4. ~~W 1 SIMP

5. W 4 DN

6. X v W 5 ADD

7. (X v W) -> Y 1 SIMP

8. Y 6, 7 MP

9. ~~Y 8 DN

10. ~H 3, 9 MP

8.
 1. (F * G) -> (H * J)

2. (J * H) -> (K v L)

3. (L v K) -> M .:. (G * F) -> M

4. (G * F) -> (H * J) 1 Com

5. (G * F) -> (J * H) 4 Com

6. (K v L) -> M 3 Com

7. (G * F) -> (K v L) 5, 2 HS

8. (G * F) -> M 7, 6 HS

9.

1. ~Y v N

2. (Y * ~N) v (Y * Z)

3. (Z * Y) -> ~~U .:. U v ~V

4. ~Y v ~~N 1 DN

5. ~(Y * ~N) 4 DeM

6. (Y * Z) 5, 2 DS

7. (Z * Y) 6 Com

8. ~~U 3, 7 MP

9. U 8 DN

10. U v ~V 9 ADD

11.

1. ~(H <-> G) v ~J

2. K -> (H <-> G)
 3. ~L -> J .:. ~(K * ~L)

4. ~J -> ~~L 3 Cont

5. ~(H <-> G) -> ~K 2 Cont

6. ~K v ~~L 1, 5, 4 CD

7. ~~K * ~~~L 6. DeM

9. ~~K 7 SIMP

10. ~~L 6, 9 DS

11. ~~~L 7 SIMP

12. ~K 6, 11 DS

13. ~K * ~~L 10, 12 Conj

14. ~(K * ~L) 13

12.

1. (X * Q) -> (Z * ~T)

2. R * (T v ~Z) .:. (~X v ~Q) * R

3. ~(Z * ~T) -> ~(X * Q) 1 Cont

4. (~Z v ~~T) -> ~(X * Q) 3 DeM

5. (~Z v T) -> ~(X * Q) 4 DN

6. (T v ~Z) 2 SIMP

7. (~Z v T) 6 Com

8. R 2 SIMP

9. ~(X* Q) 7, 5 MP
10. (~X v ~Q) 9 DeM

11. (~X v ~Q) * R 10, 8 CONJ