document.write( "Question 1139914: Create a proof for the following argument:
\n" ); document.write( "1. D ⊃ (∼G ⊃ ∼H)
\n" ); document.write( "2. (K ∨ M) ⊃ H
\n" ); document.write( "3. G ∨ D
\n" ); document.write( "4. ∼G /∼(K ∨ M)
\n" ); document.write( "5. \n" ); document.write( "
Algebra.Com's Answer #760591 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
1. D ⊃ (∼G ⊃ ∼H)\r\n" );
document.write( "2. (K ∨ M) ⊃ H\r\n" );
document.write( "3. G ∨ D\r\n" );
document.write( "4. ∼G              /∼(K ∨ M)\r\n" );
document.write( "\r\n" );
document.write( "5. D           3,4 disjunctive syllogism\r\n" );
document.write( "6. ∼G ⊃ ∼H    1,5 modus ponens\r\n" );
document.write( "7. ~H          6,4 modus ponens\r\n" );
document.write( "8. ~(K ∨ M)    2,7 modus tollens\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );