SOLUTION: Solve the proof: 1. (AvB)->D 2. D-> (c->E) 3. A&C :. E

Algebra.Com
Question 1104258: Solve the proof:
1. (AvB)->D
2. D-> (c->E)
3. A&C
:. E
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!

Here is one way to do the derivation
NumberStatementLines UsedReason
1(A v B) -> D
2D -> (C -> E)
3A & C
:.E
4C & A3Commutation
5A3Simplification
6C4Simplification
7A v B5Addition
8D1,7Modus Ponens
9C -> E2,8Modus Ponens
10E9,6Modus Ponens
RELATED QUESTIONS

Can you please help me solve the following proof? 1.D>(A*G) 2.(AvB)> [(C>Q)*D] //... (answered by jim_thompson5910)
1. (AvB) ⊃ C 
2. (CvD) ⊃ (EvF) 
3. A●~E             / F... (answered by Edwin McCravy)

Can anyone annotate the following proofs for me?

Proof 1:

1. (AvB) -> C
2. (CvD)... (answered by Edwin McCravy)

Help me solve the following using an indirect proof. I am including what I have so far.... (answered by jim_thompson5910)

I need help finishing this proof.
A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D ->  (answered by jim_thompson5910)

Please help me solve this proof!
Premises:
1. (A⊃B)&(C⊃D)
2.... (answered by Edwin McCravy)

I need help finishing this proof.

(A . B) -> (E -> A), (A . B) v C, C -> D :. (E -> A)  (answered by jim_thompson5910)

Can you tell me the completed formal proof?
1. (C v D) > (E * F)
2. D v C :. E
3.... (answered by Edwin McCravy)

(AvB) v C, ~C, ~A, B—>D |-... (answered by Edwin McCravy)