SOLUTION: Can someone help me solve this please? I can only use the 8 implicational rules 1. Bv~C 2. B>E 3. ~~C :. ~BvE

Algebra ->  Proofs -> SOLUTION: Can someone help me solve this please? I can only use the 8 implicational rules 1. Bv~C 2. B>E 3. ~~C :. ~BvE       Log On


   

Question 594156: Can someone help me solve this please? I can only use the 8 implicational rules
1. Bv~C
2. B>E
3. ~~C :. ~BvE
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   B v ~C
2.   B > E
3.   ~~C                  :. ~B v E 
-------------------------------------------------------
4.   B                               1,3        Disjunctive Syllogism
5.   E                               2,4        Modus Ponens
6.   ~B v E                          5          Addition