document.write( "Question 1005914: annotate the following proofs
\n" ); document.write( "1. ~~P*~P :. w
\n" ); document.write( "2. ~~P
\n" ); document.write( "3. ~~PvW
\n" ); document.write( "4. PvW
\n" ); document.write( "5. ~P
\n" ); document.write( "6. W
\n" ); document.write( "

Algebra.Com's Answer #622068 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. ~~P*~P :. W\r\n" );
document.write( " \r\n" );
document.write( "2. ~~P          1, Simplification\r\n" );
document.write( "3. ~~PvW        2, Addition\r\n" );
document.write( "4. PvW          3, Double negation\r\n" );
document.write( "5. ~P           1, Simplification\r\n" );
document.write( "6. W          4,5, Disjunctive syllogism\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );