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