document.write( "Question 1171798: I need to use proofs to derive the conclusion but I am not sure if I should use MP, or DS\r
\n" ); document.write( "\n" ); document.write( "1. (Q ⊃~J) ⊃ (M ⊃~D)
\n" ); document.write( "2. Q ⊃M
\n" ); document.write( "3. M ⊃ ~J/Q ⊃ ~D
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #797532 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (Q ⊃ ~J) ⊃ (M ⊃ ~D)\r\n" );
document.write( "2. Q ⊃ M\r\n" );
document.write( "3. M ⊃ ~J            /Q ⊃ ~D\r\n" );
document.write( "\r\n" );
document.write( "4. Q ⊃ ~J       2,3, Hypothetical Syllogism | Must Learn:[(p⊃q)&(q⊃r)]⊃(p⊃r)\r\n" );
document.write( "5. M ⊃ ~D       1,4, Modus Ponens           | Must learn:[(p⊃q)&p]⊃q\r\n" );
document.write( "\r\n" );
document.write( "It's common sense that if the first thing implies the second thing, and the\r\n" );
document.write( "second thing implies the third thing, then the first thing implies the third\r\n" );
document.write( "thing. That's hypothetical syllogism.\r\n" );
document.write( "\r\n" );
document.write( "It's common sense that if the first thing implies the second thing, and you know\r\n" );
document.write( "the first thing is true, then you know the second thing is also true. That's\r\n" );
document.write( "modus ponens.\r\n" );
document.write( "\r\n" );
document.write( "Logic is plain old common sense.  You just have to learn how to read it, and\r\n" );
document.write( "the names for the bits of common sense.\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );