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)