Logic

posted by .

Having problems with solving this question. The directions are: Use the 18 rules of inference, supply a proof.

1.(RvX)>(A>B)
2.~Q>~C
3.~C>Z
4.R.Y
5.QvA
The conclusion I'm supposed to arrive at is /ZvB

Respond to this Question

 First Name School Subject Your Answer

Similar Questions

1. Philosophy Logic

Use the 17 rules of inference to prove the following arguments valid?
2. Logic

Using the law of inference, prove if the below argument is valid. (P1) R -> B (P2) D V R (P3) B /D You may imply all rules of inference to figure out if it is valid.
3. Logic

Supply steps in a proof of a valid argument and give reasons using rules of inference. 1.)~A*B 2.)C>A 3.)CvD/D
4. Logic

Can someone please help me solve these problems?
5. Logic- Formal Proof

I need to solve a proof and I cannot figure it out. The instructions say only that I will have to use subproofs within subproofs. Premises: A or B A or C Conclusion: A or (B and C)
6. Language Proof and Logic(Philosophy)

exercise 5.8 write an informal proof of Premises: LeftOf(a,b) | RightOf(a,b) BackOf(a,b) | ~Leftof(a,b) FrontOf(b,a) | ~RightOf(a,b) SameCol(c,a) & SameRow(c,b) conclusion BackOf(a,b) State if you use proof by cases.
7. Philosophy

I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that …
8. Philosophy

I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that …
9. Philosophy

I need help with this proof for my philosophy class. This proof is supposed to be done via conditional proof, so it is supposed to use ACP and CP to derive the conclusion! This is an assignment that is submitted through Aplia, so I …
10. Philosophy

I need help with this proof for my philosophy class. This proof is supposed to be done via indirect proof or conditional proof, so it is supposed to use AIP and IP or ACP and CP to derive the conclusion! This is an assignment that …

More Similar Questions