document.write( "Question 1204425: 1). ~(K•L)
\n" ); document.write( "2). K -> L\r
\n" ); document.write( "\n" ); document.write( "Therefore, ~K \n" ); document.write( "
Algebra.Com's Answer #840667 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1).     ~(K•L)\r\n" );
document.write( "2).      K -> L  Therefore,   ~K\r\n" );
document.write( "\r\n" );
document.write( "                 | 3).   ~~K   Assumption for Indirect Proof\r\n" );
document.write( "                 | 4).   K,       3, Double Negation\r\n" );
document.write( "                 | 5).   L,       2, Modus Ponens\r\n" );
document.write( "                 | 6).   ~K v ~L  1, DeMorgan's Law\r\n" );
document.write( "                 | 7).   ~L v ~K  6, Commutation \r\n" );
document.write( "                 | 8).   ~~L      5, Double Negation\r\n" );
document.write( "                 | 9).   ~K     7,8, Disjunctive syllogism \r\n" );
document.write( "                 |10).   K•~K   4,9, Conjunction \r\n" );
document.write( "11).     ~K           Lines 4-10 Indirect Proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );