document.write( "Question 1099348: Please help me with this proof! thank you in advance.\r
\n" ); document.write( "\n" ); document.write( "A -> (C \/ B)
\n" ); document.write( "~(D \/ C)
\n" ); document.write( "~(E \/ B)
\n" ); document.write( "∴ ~A\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #713789 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  A -> (C V B)\r\n" );
document.write( "2.  ~(D V C)\r\n" );
document.write( "3.  ~(E V B)      /∴ ~A \r\n" );
document.write( "\r\n" );
document.write( "               | 4. ~~A            AIP \r\n" );
document.write( "               | 5.  A           4, DN\r\n" );
document.write( "               | 6. C V B        1,5, MP        \r\n" );
document.write( "               | 7. ~D & ~C      2, DM\r\n" );
document.write( "               | 8. ~E & ~B      3, DM\r\n" );
document.write( "               | 9. ~B & ~E      8, comm.\r\n" );
document.write( "               |10. ~B           9, simp.\r\n" );
document.write( "               |11. B V C        6, comm.\r\n" );
document.write( "               |12. C           11,10, DS\r\n" );
document.write( "               |13. ~C & ~D      7, comm.\r\n" );
document.write( "               |14. ~C          13, simp.\r\n" );
document.write( "               |15. C & ~C      12,14 conj\r\n" );
document.write( "16. ~A                           4-15 IP\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );