document.write( "Question 1206984: D ⊃ E
\n" ); document.write( "2. D v A
\n" ); document.write( "3. ~E / A
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #844755 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. D ⊃ E\r\n" );
document.write( "2. D v A\r\n" );
document.write( "3. ~E                           / A\r\n" );
document.write( "\r\n" );
document.write( "             |4. ~A       Assumption for Indirect proof\r\n" );
document.write( "             |5. A v D         2, commutation\r\n" );
document.write( "             |6. D           5,4, disjunctive syllogism\r\n" );
document.write( "             |7. E           1,6, modus ponens\r\n" );
document.write( "             |8. E & ~E      7,3, conjunction\r\n" );
document.write( "\r\n" );
document.write( "9. A      lines 4-8  for Indirect Proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );