Logic
posted by lost .
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
Similar Questions

Philosophy Logic
Use the 17 rules of inference to prove the following arguments valid? 
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. 
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 
Logic
Can someone please help me solve these problems? 
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) 
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. 
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 … 
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 … 
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 … 
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 …