Practice Symbolizations, Sample Answers

1.  S & Q

2.  ~T -> W & ~U

3.  (T & P) & (R -> U)

4.  ~(T & P) & (S & M)

5.  (T -> S) -> (~W -> U)

6.  ((~T & R) & (~S & Q)) & (M & P)

      (~(T v ~R) & ~(S v ~Q)) & (M & P)

    ~((T v ~R) v (S v ~Q)) & (M & P)

7.  T -> S

8.  M & P -> ((Q & R) -> ~(S v T))

9.  (S v ~Q) v (T v ~R) -> U  

10. ~W <-> U

11. (S -> T) & ~(~Q -> ~R)

12. ~(~Q v ~R) & (S v T -> U)

      (Q & R) & (S v T -> U)