logic
posted by Elaine .
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
Similar Questions

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 
Analyzing arguments
What is the difference between an unsound argument and an invalid argument? 
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 
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 … 
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 
Logic
Can someone please help me solve these problems? 
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 truthfunctional connectives. Whay advantage does being able to symbolize … 
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 truthfunctional