document.write( "Question 1140111: 1. G⊃(H⊃K)
\n" ); document.write( "2. (H∨∼M)⊃∼K
\n" ); document.write( "3. H / ∼G ∨ ∼H \n" ); document.write( "
Algebra.Com's Answer #760587 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. G⊃(H⊃K)\r\n" );
document.write( "2. (H∨∼M)⊃∼K\r\n" );
document.write( "3. H             / ∼G ∨ ∼H\r\n" );
document.write( "\r\n" );
document.write( "4.  H∨∼M         3, addition\r\n" );
document.write( "5.  ~K           2,4 modus ponens\r\n" );
document.write( "6.  G⊃(~H∨K)     1,  material implication\r\n" );
document.write( "7. ~G∨(~H∨K)     6.  material implication\r\n" );
document.write( "8. (~G∨~H)∨K     7.  association\r\n" );
document.write( "9. K∨(~G∨~H)     8.  commutation\r\n" );
document.write( "10. ∼G∨∼H        9,5, disjunctive syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( " \n" ); document.write( "
\n" );