document.write( "Question 928249: I am having trouble solving this proof:\r
\n" ); document.write( "\n" ); document.write( "1. DvM
\n" ); document.write( "2. M-->R
\n" ); document.write( "3. Sv(Q&X)
\n" ); document.write( "4. R-->~S
\n" ); document.write( "5. ~D /Q\r
\n" ); document.write( "\n" ); document.write( "So far I have:
\n" ); document.write( "6. M
\n" ); document.write( "7. R
\n" ); document.write( "8. (M&R)\r
\n" ); document.write( "\n" ); document.write( "Is this correct so far? This is the farthest I have gotten and don't quite understand how to solve the rest of this proof. Any help would be greatly appreciated. Thank you! \n" ); document.write( "
Algebra.Com's Answer #563543 by AnlytcPhil(1806)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "You step 8 is incorrect.\r\n" );
document.write( "\r\n" );
document.write( "Here's how I would do it:\r\n" );
document.write( "\r\n" );
document.write( " 1. DvM\r\n" );
document.write( " 2. M-->R\r\n" );
document.write( " 3. Sv(Q&X)\r\n" );
document.write( " 4. R-->~S\r\n" );
document.write( " 5. ~D            /Q\r\n" );
document.write( "\r\n" );
document.write( " 6. M    1,5  DS   (disjunctive syllogism)\r\n" );
document.write( " 7. R    2,6  MP   (modus ponens)\r\n" );
document.write( " 8. ~S   4,7  MP   (modus ponens)  \r\n" );
document.write( " 9. Q&X  3,8  DS   (disjunctive syllogism)\r\n" );
document.write( "10. Q    9,simp    (simplification)\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );