SOLUTION: I need help finishing this proof. (A . B) -> (E -> A), (A . B) v C, C -> D :. (E -> A) v D 1. (A . B) -> (E -> A) 2. (A . B) v C 3. C -> D

Question 196027: I need help finishing this proof.
(A . B) -> (E -> A), (A . B) v C, C -> D :. (E -> A) v D
1. (A . B) -> (E -> A)
2. (A . B) v C
3. C -> D
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1.  (A . B) -> (E -> A)
2.  (A . B) v C
3.  C -> D :. (E -> A) v D 
----------------------------------
4.  ~~(A . B) v C                   2       Double Negation
5.  ~(A . B) -> C                   4       Material Implication
6.  ~(A . B) -> D                 5,3       Hypothetical Syllogism
7.  ~D -> ~~(A . B)                 6       Transposition
8.  ~D -> (A . B)                   7       Double Negation
9.  ~D -> (E -> A)                8,1       Hypothetical Syllogism       
10. ~(E -> A) -> ~~D                9       Transposition
11. ~(E -> A) -> D                 10       Double Negation
12. (E -> A) v D                   11       Material Implication

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

I need help finishing this proof. 1. (A v B) v C 2. ~B & ~ E 3. (A v C) > (E &... (answered by jim_thompson5910)

1. (A v B) ⊃ (C v D) 2. C ⊃ E 3. A • E /∴ E v... (answered by Edwin McCravy)

1. ~ A V (B & E) 2. ~ A -> ~ C 3. C V (B & D) /... (answered by Edwin McCravy)

1. A v (B v C) 2. C ⊃ (D • E) 3. ~D / A v B (answered by mccravyedwin)

Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)

Can anyone solve this proof? A -> B A v(c . D) ~B . ~E /... (answered by )

I need help solving this proof, please help! Premises: 1. A ⊃ (B⊃C) 2. A & (answered by Edwin McCravy)

1. A -> ~(B v C) 2. ~D -> (~A -> ~E) 3. ~(~E v F) 4. ~F -> (A -> B) /D I don't... (answered by Edwin McCravy)