document.write( "Question 205447: I need help finishing this proof.\r
\n" ); document.write( "\n" ); document.write( "1. (A v B) v C\r
\n" ); document.write( "\n" ); document.write( "2. ~B & ~ E\r
\n" ); document.write( "\n" ); document.write( "3. (A v C) > (E & W) / ~ (~E v ~ W) \n" ); document.write( "
Algebra.Com's Answer #155137 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1.  (A v B) v C\r\n" );
document.write( "2.  ~B & ~ E\r\n" );
document.write( "3.  (A v C) -> (E & W)    / ~ (~E v ~ W)\r\n" );
document.write( "---------------------------------------\r\n" );
document.write( "4.  ~B                                  2     Simplification\r\n" );
document.write( "5.  (B v A) v C                         1     Commutation\r\n" );
document.write( "6.  B v (A v C)                         5     Association\r\n" );
document.write( "7.  A v C                             6,4     Disjunctive Syllogism\r\n" );
document.write( "8.  E & W                             3,7     Modus Ponens\r\n" );
document.write( "9.  ~~E & ~~W                           8     Double Negation\r\n" );
document.write( "10. ~(~E v ~W)                          9     De Morgan's Law\r\n" );
document.write( "\r\n" );
document.write( "
\n" ); document.write( "
\n" );