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

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


   

Question 1104862: 1. ~ A V (B & E)
2. ~ A -> ~ C
3. C V (B & D) / B
Answer by Edwin McCravy(20054) About Me  (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