Posted by
**Brayden** on
.

Can someone please help me solve these problems? I have to use the 17 rules of inference to prove the arguments valid:

1) 1. T = R

2. (~R > ~T) > (P . ~S) / ~S v T

2) 1. C > F

2. A > B

3. ~F . A

4. ~C > (B > D) / B . D

3) 1. (S v Q) / ~P > ~S

4) 1. D > P /(I . D) > P

5) 1. P v (Y . H)

2. (P v Y) > ~(H v C)

3. (P . ~C) > (K . X) / X v T

6) 1. A = J

2. A v J

3. A > (J > W) / W

7) 1. P v R

2. ~P v (Q . R)

3. R > (Q . S) / Q . S

8) 1. ~(R v S)

2. ~(M . N) > (O v P)

3. ~[O v (N . P)]

4. N = ~(Q . R) / ~(M v O)

9) 1. (J > K) . (~O > ~P)

2. (L > J) . (~M > ~O)

3. ~K > (L v ~M)

4. ~K . G / ~P

10) 1. (L v P) > U

2. (M > U) > I

3. P / I