document.write( "Question 194154: I started with: \n" );
document.write( "(P v ~P)\r \n" );
document.write( "\n" );
document.write( "I have gotten to this point:\r \n" );
document.write( "\n" );
document.write( " ~(P v ~P) Assumption \n" );
document.write( "... \n" );
document.write( " (P v ~P) \n" );
document.write( " _|_ (falsum)I 1,2 \n" );
document.write( "(P v ~P) ~E 3\r \n" );
document.write( "\n" );
document.write( "I don't know where to go from there? divide and then there is your answer \n" );
document.write( "
![\"\"](\"/images/stars/iconNewId_16x16.gif\")
