Posted by **Brayden** on Tuesday, August 16, 2011 at 1:52pm.

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

## Answer this Question

## Related Questions

- Philosophy Logic - Use the 17 rules of inference to prove the following ...
- Logic - Using the law of inference, prove if the below argument is valid. (P1) R...
- logic - I need help proving these arguments using rules of inference, please. (S...
- Logic - Supply steps in a proof of a valid argument and give reasons using rules...
- Logic - Having problems with solving this question. The directions are: Use the ...
- Analyzing arguments - What is the difference between an unsound argument and an ...
- crt - Fill in the blanks where called for, and answer true or false where ...
- Logic - Need help supplying proo f for the following problem using the rules of ...
- Geometry... Please help soon! - Write four arguments that meet the following ...
- Philosophy - a) Using long or short truth tables (symbolize as necessary and ...