document.write( "Question 1140648: solve the proof:
\n" ); document.write( " A ● ~A ∴ B \n" ); document.write( "
Algebra.Com's Answer #761168 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1.  A ● ~A   ∴ B\r\n" );
document.write( "2.  A             1, simplification\r\n" );
document.write( "3.  A v B         2, addition\r\n" );
document.write( "4. ~A ● A         1, commutation\r\n" );
document.write( "5. ~A             4, simplification\r\n" );
document.write( "6. (A v B) ● ~A   3,5, conjunction\r\n" );
document.write( "7.  B             6, disjunctive syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
\n" );