document.write( "Question 1156052: Logical Proofs (Solve and Show Work)\r
\n" ); document.write( "\n" ); document.write( "1. G ⊃ (H ⊃ K)
\n" ); document.write( "2. (H v ~M) ⊃ ~K
\n" ); document.write( "3. H / ~G \n" ); document.write( "
Algebra.Com's Answer #778769 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 v ~M) ⊃ ~K\r\n" );
document.write( "3. H              / ~G \r\n" );
document.write( "\r\n" );
document.write( "                   | 4. ~~G       Assumption for Indirect Proof\r\n" );
document.write( "                   | 5. G         4, Double Negation \r\n" );
document.write( "                   | 6. H ⊃ K     1,5, Modus Ponens\r\n" );
document.write( "                   | 7. K         6,3, Modus Ponens \r\n" );
document.write( "                   | 8. H v ~M    3, Addition \r\n" );
document.write( "                   | 9. ~K        2,8, Modus Ponens \r\n" );
document.write( "                   |10. K & ~K    7,9, Conjunction\r\n" );
document.write( "11. ~G        Lines 4-10    for Indirect Proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );