document.write( "Question 594156: Can someone help me solve this please? I can only use the 8 implicational rules
\n" ); document.write( "1. Bv~C
\n" ); document.write( "2. B>E
\n" ); document.write( "3. ~~C :. ~BvE \n" ); document.write( "
Algebra.Com's Answer #376636 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   B v ~C\r\n" );
document.write( "2.   B > E\r\n" );
document.write( "3.   ~~C                  :. ~B v E \r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "4.   B                               1,3        Disjunctive Syllogism\r\n" );
document.write( "5.   E                               2,4        Modus Ponens\r\n" );
document.write( "6.   ~B v E                          5          Addition\r\n" );
document.write( "
\n" ); document.write( "
\n" );