SOLUTION: 1. ~ A V (B & E) 2. ~ A -> ~ C 3. C V (B & D) / B

Question 1104862: 1. ~ A V (B & E)
2. ~ A -> ~ C
3. C V (B & D) / B
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

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

            | 4.  ~B         AIP
            | 5.  ~BV~E      4,   Add
            | 6.  ~(B&E)     5,   DM
            | 7.  (B&E)V~A   1,   Comm
            | 8.  ~A         7,6, DS
            | 9.  ~C         2,   MP
            |10.  B&D        3,9, DS
            |11.  B         10,   Simp
            |12.  B&~B      11,4, Conj
13. ~~B                     4-12  IP
14. B                       13,   DN

Edwin

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

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

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

1. A -> (B -> C) 2. A -> B 3. ~ C ->(A V D) / C V... (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)

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

1. (A->B) v (C�D) 2.A... (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 2. C v D 3. A Conclusion: D (answered by jim_thompson5910)