document.write( "Question 969499: I need help solving this proof, please help!
\n" ); document.write( "Premises:
\n" ); document.write( "1. A ⊃ (B⊃C)
\n" ); document.write( "2. A & ~C
\n" ); document.write( "3. (~B or D) ⊃ ~ (A&E)
\n" ); document.write( "Conclusion:
\n" ); document.write( "/~(C v E)\r
\n" ); document.write( "\n" ); document.write( "Thanks in advance! \n" ); document.write( "

Algebra.Com's Answer #592392 by Edwin McCravy(20056) $\"\"$ $\"About$

You can put this solution on YOUR website!
1. A ⊃ (B⊃C)
\n" ); document.write( " 2. A & ~C
\n" ); document.write( " 3. (~B v D) ⊃ ~ (A&E)
\n" ); document.write( " Conclusion:
\n" ); document.write( " /~(C v E)
\n" ); document.write( "

\r\n" );
document.write( " 4. A        simplification,2\r\n" );
document.write( " 5. B⊃C      modus ponens,1,4\r\n" );
document.write( " 6. ~C⊃~B    contrapositive,5\r\n" );
document.write( " 7. ~C       simplification,2\r\n" );
document.write( " 8. ~B       modus ponens,6,7\r\n" );
document.write( " 9. ~B v D   disjunctive addition,8\r\n" );
document.write( "10  ~(A&E)   modus ponens,3,9\r\n" );
document.write( "11. ~Av~E    Demorgan's,10\r\n" );
document.write( "12.  ~~A     double negation,4\r\n" );
document.write( "13. ~E       disjunctive syllogism,11,12\r\n" );
document.write( "14. ~C&~E    conjunction,7,13\r\n" );
document.write( "15. ~(CvE)   Demorgan's,14\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );