Symbolic Logic I Solutions for

Propositional Logic Symbolization Exercises

Remember, for most of these exercises there are other alternative, correct symbolizations.  If you have a question abot an alternative answer, ask.

1. [(A · J) · ~G]
2. [(G · F) v (N · L)]
3. ~J v D
4. (~H v D)
5. (~S · ~L)
6. ~(H v M)
7. (S · ~A)
8. [(W v L) · ~(W · L)]
9. ~(W · L)
10. {~A · [T · (H · Y)]}
11. (W F)
12. [R (I · B)]
13. (M U)
14. (E B)
15. (S E)
16. ~(T E)
17. (~C ~S)
18. [(K · N) H]
19. (~B v W)
20. (I S)
21. (A C)
22. [~(C v A) v (F · D)]
23. ~(W · J) or (~W v ~J)
24. (R → I)
25. [~(R S) · ~(S R)]
26. (B P)
27. ~(O · G)
28. {[J · (T v S)] (H · ~B)}
29. (B · S)
30. [(F N) · ~(N F)]
31. [(E v M) · ~L]
32. {D [S (C B)]} or [(D · S) (C B)]
33. [~R · (R M)]
34. (D ~(K · R))
35. (B · (B (~H D)))
36. ((J · P) ((B · L) C))
37. [V (C v A)]
38. (~V v (W v P))
39. [(O → T) · ~(T → O)]
40. [(M v C) ~O]
41. (S Q)
42. (S Q)
43. (Q S)
44. ~(C R)
45. {(H v L) [M · R) · (K v Q)]}
46. [L · (~S O)]
47. (N ~E)
48. [(~I M) · (R v ~I)]
49. ~(~B G)
50. (B · G)
51. [(F P) · ~(P F)]
52. [N · (N O)]
53. ((J · K) · (B · N)) · (((((J v K) v (J v B)) v ((J v N) v (K v B))) v ((K v N) v (B v N))) D)