SOLUTION: Two column proof for: (p^q)^(~qvr)^(~rvs)=>s Need step and reasoning

Question 1039719: Two column proof for:
(p^q)^(~qvr)^(~rvs)=>s
Need step and reasoning
Answer by robertb(5830) (Show Source): You can put this solution on YOUR website!
1) (p^q)^(~qvr)^(~rvs) -----------Hypothesis
2) p^q ------------------------Simplification
3) ~qvr ------------------------Simplification
4) ~rvs ------------------------Simplification
5) q -------------------------Simplification on #2
6) r -------------------------Disjunctive syllogism on #3 and #5
7) s -------------------------Disjunctive syllogism on #4 and #6
RELATED QUESTIONS
I need help solving this proof. P,QvR,~RvS,~Q |- P&S 1 (1) P A 2 (2) QvR A 3... (answered by jim_thompson5910)

given p is true, and q is true, and r is false find the truth value of the statement... (answered by chessace)

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

PvQ (QvU)>(P>T) ~P (~PvR)>(Q>S) Therefore,... (answered by jim_thompson5910)

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

P^(qvr) (answered by ikleyn)

Proof for: P -> Q Therefore ~Q ->... (answered by Edwin McCravy)

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

I'm having a hard time constructing a proof for the following argument. M&~Q M->S... (answered by richard1234,Edwin McCravy)