document.write( "Question 980645: ~D&Q
\n" ); document.write( "~D>(~E&~T)
\n" ); document.write( "(~EvG)>(~E>H)
\n" ); document.write( "/~E&H \n" ); document.write( "
Algebra.Com's Answer #602272 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1.  ~D&Q\r\n" );
document.write( " 2.  ~D>(~E&~T)\r\n" );
document.write( " 3.  (~EvG)>(~E>H)\r\n" );
document.write( "                      /~E&H\r\n" );
document.write( "\r\n" );
document.write( " 4. ~D             1, simplification\r\n" );
document.write( " 5. ~E&~T        2,4, modus ponens\r\n" );
document.write( " 6. ~E             5, simplification\r\n" );
document.write( " 7. ~EvG           6, addition\r\n" );
document.write( " 8. ~E>H         3,7, modus ponens\r\n" );
document.write( " 9. H            8,6, modus ponens\r\n" );
document.write( "10. ~E&H         6,9, conjunction\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );