SOLUTION: can you help me solve this proof using the first 13 rules of inference please? 1.Ev~(DvC) 2(Ev~D)->C the desired answer is E.

Question 250703: can you help me solve this proof using the first 13 rules of inference please?
1.Ev~(DvC)
2(Ev~D)->C
the desired answer is E.
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1.  E v ~(D v C)
2.  (E v ~D) -> C      / :. E
-----------------------------
3.  E v (~D & ~C)              1      De Morgan's Law
4.  (E v ~D) & (E v ~C)        3      Distribution
5.  (E v ~C) & (E v ~D)        4      Commutation
6.  E v ~D                     4      Simplification
7.  C                          2,6    Modus Ponens
8.  E v ~C                     5      Simplification
9.  ~C v E                     8      Commutation
10. C -> E                     9      Material Implication
11. E                          10,7   Modus Ponens

RELATED QUESTIONS
Please help me create this proof using the 18 rules of inference. I have been working on... (answered by jim_thompson5910)

1. T ⊃ (Q & F) 2. T & C/Q v O I am trying to solve this equation using the... (answered by math_tutor2020)

Complete the following proof, choosing from among the first eighteen Rules of Inference... (answered by Edwin McCravy)

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

1. ~R 2. S-> R/...(therefore) ~ S Using the first 4 rules of inference: MP, MT, HS,... (answered by Edwin McCravy)

I need help deriving the conclusion using the 18 rules of inference. 1. C>(Dv~E) 2.... (answered by jim_thompson5910)

Use the first eight rules of inference to complete the following proof (you may start... (answered by Edwin McCravy)

1. ∀x(~(Fx v Gx) -> Hx) 2. ∀x(Hx -> Lx) 3. ∀x(~Fx) Conclusion:... (answered by robertb)

6) I can only use the 8 rules of inference... 1. (~B � ~C) → (D → C) 2. ~B (answered by jim_thompson5910)