document.write( "Question 1025707: 
\r\n" );
document.write( "1. (AvB) ⊃ C \r\n" );
document.write( "2. (CvD) ⊃ (EvF) \r\n" );
document.write( "3. A●~E             / F\r\n" );
document.write( "
\n" ); document.write( "
Algebra.Com's Answer #641077 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (AvB) ⊃ C \r\n" );
document.write( "2. (CvD) ⊃ (EvF) \r\n" );
document.write( "3. A●~E             / F\r\n" );
document.write( "\r\n" );
document.write( "4.  A           3, Simplification\r\n" );
document.write( "5.  AvB         4, Addition\r\n" );
document.write( "6.  C           1,5 Modus ponens\r\n" );
document.write( "7.  CvD         6, Addition\r\n" );
document.write( "8.  EvF         2,7 Modus Ponens\r\n" );
document.write( "9.  ~E●A        3, Commutation\r\n" );
document.write( "10. ~E          9, Simplification   \r\n" );
document.write( "11. F           8,11, Disjunctive Syllogism \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );