Question 981189

stuck on this problem please help
Can use rules of implication and first five rules of replacement
<pre>
 1.  K>S
 2.  (~S&K)v(~S&~Q)
                    /~QvU

 3. ~S&(Kv~Q)             2, Distribution    ["Factoring" out ~S&] 
 4. ~S                    3, Simplicication
 5. (Kv~Q)&~S             3, Commutation
 6. Kv~Q                  5, Simplification
 7. ~S>~K                 1, Transposition
 8. ~K                  7,4, Modus ponens
 9. ~Q                  6,8, Disjunctive syllogism
10. ~QvU                  9, Addition                               

Edwin</pre>