document.write( "Question 1149801: 1. G ⊃ (H ⊃ K)
\n" ); document.write( "2. (H ∨ ∼M) ⊃ ∼K
\n" ); document.write( "3. H / ∼G\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #771160 by Edwin McCravy(20060)\"\" \"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\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,  importation\r\n" );
document.write( "7.      ~K ⊃ ~(G ∨ H)    6,  transposition\r\n" );
document.write( "8.      ~(G ∨ H)         7,5, modus ponens\r\n" );
document.write( "9.      ~G • ~H          8,  DeMorgan's law\r\n" );
document.write( "10.     ~G               9, simplification\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );