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

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) (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

RELATED QUESTIONS
use rules of implication and only DeMorgan, commutativity, associativity, distrubution,... (answered by solver91311)

Can someone please help me with this proof using the 18 rules of inference? > is a... (answered by jim_thompson5910)

Use the first five rules of replacement (DM,Com, Assoc, Dist, DN) together with the eight (answered by Edwin McCravy)

With rules of implication and rules of replacement DeMorgan's, commutativity,... (answered by Edwin McCravy)

Please help me answer this one natural proof CORRECTLY using the 8 rules of implication... (answered by robertb)

need help using rules of implication and first five rules of replacment N>~F ~(XvV)... (answered by Edwin McCravy)

Can use De Morgan, commutativity, associativity, distributivity, double negation and... (answered by solver91311)

Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)

how to solve this using the implication rules and replacement rules. ~(SvQ) /~P>~S (answered by Edwin McCravy)