SOLUTION: I need help completing proofs for my deductive logic class. Can you help me with this one? 1. M v ~(K v ~L) 2. ~M . (N . O) (Conclusion) ~K . L

Algebra ->  Proofs -> SOLUTION: I need help completing proofs for my deductive logic class. Can you help me with this one? 1. M v ~(K v ~L) 2. ~M . (N . O) (Conclusion) ~K . L      Log On


   

Question 237506: I need help completing proofs for my deductive logic class.
Can you help me with this one?
1. M v ~(K v ~L)
2. ~M . (N . O) (Conclusion) ~K . L
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   M v ~(K v ~L)
2.   ~M . (N . O)           (Conclusion)  ~K . L
------------------------------------------------
3.   ~M                                     2       Simplification
4.   ~(K v ~L)                              2,3     Disjunctive Syllogism
5.   ~K . ~~L                               4       De Morgan's Law
6.   ~K . L                                 5       Double Negation