Homework Help: Logic

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

No one has answered this question yet.

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 - Having problems with solving this question. The directions are: Use the ...
Logic - Supply steps in a proof of a valid argument and give reasons using rules...
logic - I need help proving these arguments using rules of inference, please. (S...
Logic - Need help supplying proo f for the following problem using the rules of ...
trig - rules of logarithms: can someone please explain how to do these problems...
Statistics - Statistics has two main functions: Description and Inference. What ...
College Finite Math - Suppose for this problem that Pr[E]=13/24 and Pr[F]=5/8 ...
Algebra......Help Quick!! - 12a^3bc-18a^2bc^2+6a^2c, x^2+20x+36, 12x^4-8x^3-4x^2...

For Further Reading

First Name:
School Subject:
Answer: