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

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


   

Question 1104258: Solve the proof:
1. (AvB)->D
2. D-> (c->E)
3. A&C
:. E
Answer by jim_thompson5910(35256) About Me  (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