SOLUTION: stuck on this problem please help Can use rules of implication and first five rules of replacement K>S (~S&K)v(~S&~Q) /~QvU

Algebra ->  Proofs -> SOLUTION: stuck on this problem please help Can use rules of implication and first five rules of replacement K>S (~S&K)v(~S&~Q) /~QvU      Log On


   

Question 981189: stuck on this problem please help
Can use rules of implication and first five rules of replacement
K>S
(~S&K)v(~S&~Q)
/~QvU
Answer by Edwin McCravy(20059) About Me  (Show Source):
You can put this solution on YOUR website!

stuck on this problem please help
Can use rules of implication and first five rules of replacement
 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