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

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


   

Question 1039719: Two column proof for:
(p^q)^(~qvr)^(~rvs)=>s
Need step and reasoning
Answer by robertb(5830) About Me  (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