document.write( "Question 1026080: 1. ~ ( H v ~K )
\n" ); document.write( "2. L --> H / L --> M
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #641385 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. ~(Hv~K) \r\n" );
document.write( "2. L-->H      /L-->M\r\n" );
document.write( "\r\n" );
document.write( "3. ~H&~~K      1, DM    (DeMorgan's law) \r\n" );
document.write( "4. ~H&K        3, DN    (double negation)\r\n" );
document.write( "5. ~H          4, simp. (simplification)\r\n" );
document.write( "6. ~L          2,5, MT  (Modus tollens)\r\n" );
document.write( "7. ~LvM        6, add.  (addition)\r\n" );
document.write( "8. L-->M       7, MI    (material implication)\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "[This is an illustration of the fact that a false statement\r\n" );
document.write( "implies anything. :)  ]\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );