# SOLUTION: 1. (Q&#8744;R)&#8594;(W&#8744;U) 2. W&#8594;P 3. Q&#8729;T 4. U&#8594;Z 5. S&#8594;M 6. S&#8744;~Y 7. (P&#8744;Z)&#8594;~M &#8756; ~Y 8. Q 3, simp 9.

Algebra ->  Algebra  -> Proofs -> SOLUTION: 1. (Q&#8744;R)&#8594;(W&#8744;U) 2. W&#8594;P 3. Q&#8729;T 4. U&#8594;Z 5. S&#8594;M 6. S&#8744;~Y 7. (P&#8744;Z)&#8594;~M &#8756; ~Y 8. Q 3, simp 9.       Log On

 Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help! Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!

 Logic: Proofs Solvers Lessons Answers archive Quiz In Depth

 Question 277572: 1. (Q∨R)→(W∨U) 2. W→P 3. Q∙T 4. U→Z 5. S→M 6. S∨~Y 7. (P∨Z)→~M ∴ ~Y 8. Q 3, simp 9. Q∨R 8, ADD 10. W∨U 1,9 MP 11. P∨S 10,2,4 CD (I have completed lines 8-11 myself, but I cannot get past that. Thanks.) Answer by jim_thompson5910(28715)   (Show Source): You can put this solution on YOUR website!You made a mistake on line 11. You should have P v Z (not P v S) since the consequent of U -> Z is Z So continuing with your work... ```11. P v Z 2,4,10 Constructive Dilemma 12. ~M 7,11 Modus Ponens 13. ~S 5,12 Modus Tollens 14. ~Y 6,13 Disjunctive Syllogism ```