logic

posted by .

I need help proving these arguments using rules of inference, please.

(S>B) > (SvK)
(Kv~D) ~ (H>S)
~S.W / ~H



~A > (B>~C)
~D > (~C >A)
D v ~A
~D

Respond to this Question

First Name
School Subject
Your Answer

Similar Questions

  1. Logic

    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
  2. Analyzing arguments

    What is the difference between an unsound argument and an invalid argument?
  3. Philosophy Logic

    Use the 17 rules of inference to prove the following arguments valid?
  4. 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.
  5. 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
  6. Geometry... Please help soon!

    Write four arguments that meet the following criteria: Argument 1: The argument has a false premise, but follows good logic. Argument 2: The argument has true premises, but follows poor logic, leading to a false conclusion. Argument …
  7. Logic

    Need help supplying proo f for the following problem using the rules of inference 1. (Z.Y)> X 2. ~O>Z 3. ~Y>O 4. ~O.T /S
  8. Logic

    Can someone please help me solve these problems?
  9. Informal Logic

    Write two arguments in English,one in the form of modus poens and one in the form of modus tollens. Then write the arguments in symbols using sentence letters and truth-functional connectives. Whay advantage does being able to symbolize …
  10. logic

    ic Logic Write two arguments in English, one in the form of modus ponens and one in the form of modus tollens. Then, write the arguments in symbols using sentence letters and truth-functional

More Similar Questions