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

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

RELATED QUESTIONS
I need help completing this proof for my deductive logic class? 1. (O . P)--> Q 2. (answered by jim_thompson5910)

Can You please help me solve these proofs? The first statement I'm using the horseshoe... (answered by Edwin McCravy)

How do I complete the following proofs? Premises: 1. L ⊃ M 2. L 3. K v Q... (answered by Edwin McCravy)

hey can you help me with these proofs? 1. ~(J & K) prem 2. ~(L & M) (answered by solver91311,jim_thompson5910)

Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)

Can you please help me complete the following rules by adding the implication rules to... (answered by robertb)

Well I got most of my work done, but this one is stumping me. Logic Proofs. Premises: (answered by jim_thompson5910)

I need help finishing this proof. (~K -> K) -> ~L, ~(~L -> ~M) -> L, M :. K <-> ~L 1. (answered by jim_thompson5910)

1. (EvF)$(E->L,L->M,D.(D&F(->F)->L |- L&M 2. FvI, F->(-D->N),... (answered by lynnlo)