document.write( "Question 277572: 1. (Q∨R)→(W∨U)
\n" ); document.write( "2. W→P
\n" ); document.write( "3. Q∙T
\n" ); document.write( "4. U→Z
\n" ); document.write( "5. S→M
\n" ); document.write( "6. S∨~Y
\n" ); document.write( "7. (P∨Z)→~M ∴ ~Y
\n" ); document.write( "8. Q 3, simp
\n" ); document.write( "9. Q∨R 8, ADD
\n" ); document.write( "10. W∨U 1,9 MP
\n" ); document.write( "11. P∨S 10,2,4 CD \r
\n" ); document.write( "\n" ); document.write( "(I have completed lines 8-11 myself, but I cannot get past that. Thanks.)
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #202085 by jim_thompson5910(35256) $\"\"$ $\"About$

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\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "So continuing with your work...\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "11.  P v Z                     2,4,10      Constructive Dilemma\r\n" );
document.write( "12.  ~M                        7,11        Modus Ponens\r\n" );
document.write( "13.  ~S                        5,12        Modus Tollens\r\n" );
document.write( "14.  ~Y                        6,13        Disjunctive Syllogism\r\n" );
document.write( "\r\n" );
document.write( "

\n" ); document.write( " \n" ); document.write( "

\n" );