Question 1204425
<pre>

1).     ~(K•L)
2).      K -> L  Therefore,   ~K

                 | 3).   ~~K   Assumption for Indirect Proof
                 | 4).   K,       3, Double Negation
                 | 5).   L,       2, Modus Ponens
                 | 6).   ~K v ~L  1, DeMorgan's Law
                 | 7).   ~L v ~K  6, Commutation 
                 | 8).   ~~L      5, Double Negation
                 | 9).   ~K     7,8, Disjunctive syllogism 
                 |10).   K•~K   4,9, Conjunction 
11).     ~K           Lines 4-10 Indirect Proof

Edwin</pre>