document.write( "Question 1199146: 1. G⊃(H⊃K)
\n" ); document.write( "2. (H∨∼M)⊃∼K
\n" ); document.write( "3. H / ∼G \n" ); document.write( "
Algebra.Com's Answer #837758 by RBryant(14)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "1. G⊃(H⊃K)\r\n" );
document.write( "2. (H∨∼M)⊃∼K\r\n" );
document.write( "3. H                / ∴ ∼G\r\n" );
document.write( "------------------------------------------------------\r\n" );
document.write( "4. H v ~M           3,  Add\r\n" );
document.write( "5. ~K              2,4  M.P.\r\n" );
document.write( "6. H • ~K          3,5  Conj\r\n" );
document.write( "7. ~ ~H • ~K        6   D.N. \r\n" );
document.write( "8. ~ (~H v K)       7   DeM\r\n" );
document.write( "9. ~ (H ⊃ K)        8   Impl\r\n" );
document.write( "10. ~G             1,9   M.T.\r\n" );
document.write( "                               QED\r\n" );
document.write( "\r\n" );
document.write( "
\n" ); document.write( "
\n" );