document.write( "Question 1206856: 1. (I&-E) -> -I |-(Conclusion) I -> E \n" ); document.write( "

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

You can put this solution on YOUR website!

\r\n" );
document.write( "\r\n" );
document.write( "1. (I&~E) -> ~I   |-(Conclusion) I -> E\r\n" );
document.write( "             \r\n" );
document.write( "             |2.  I               Assumption for conditional proof\r\n" );
document.write( "             |3.  ~~I          2, double negation\r\n" );
document.write( "             |4.  ~(I&~E)    1,3, transposition\r\n" );
document.write( "             |5.  ~I v ~~E     4, DeMorgan's law\r\n" );
document.write( "             |6.  ~I v E       5, double negation\r\n" );
document.write( "             |7.  E          6,3, disjunctive syllogism\r\n" );
document.write( "8. I -> E    lines 2-7  for conditional proof.\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( " \n" ); document.write( "

\n" );