SOLUTION: I need the following proof :) PLEASE. I am struggling... 1. P-> (~Q & R) 2. (Qv~R) ->S 3. ~SvP Conclusion: ~Q THANK YOU!

Question 929929: I need the following proof :) PLEASE. I am struggling...
1. P-> (~Q & R)
2. (Qv~R) ->S
3. ~SvP
Conclusion: ~Q
THANK YOU!
Answer by Edwin McCravy(20056) (Show Source): You can put this solution on YOUR website!

1. P-> (~Q&R)
2. (Qv~R) ->S
3. ~SvP 
Conclusion: ~Q 

4. (~~Qv~R) -> S   2,DN        (double negation)
5. ~(~Q&R)  -> S   4,DM        (deMorgan's law) 
6. ~S -> ~~(~Q&R)  5,CP        (contrapositive)
7. ~S -> (~Q&R)    6,DN        (double negation) 
8. ~Q&R            7,1,3,CD    (constructive dilemma)
9. ~Q              8,simp.     (simplification of a conjunction)

Edwin

RELATED QUESTIONS
I need help completing this proof for my deductive logic class? 1. (O . P)--> Q 2. (answered by jim_thompson5910)

I need help completing this proof. 1. R&S, S->(P->Q), Q->P |- P<->Q (answered by solver91311)

please help me by showing the proof of the following using the rules of... (answered by robertb)

I need help finishing this proof. (P<->Q)->R,P->Q,Q->P |-R 1 (1) (P<->Q)->R A 2 (2) (answered by jim_thompson5910)

I need help finishing this proof. (P . Q) -> (R v S) :. (P -> R) v (Q -> S) 1. (P . (answered by jim_thompson5910)

Hello, I have a proof I am trying to write up with the following premises:... (answered by math_helper)

Construct deductions for each of the following arguments using Group I rules. (1) 1.... (answered by math_helper)

Can i please have help solving these proofs? Use an ordinary proof (not conditional or... (answered by jim_thompson5910)