document.write( "Question 1039399: I need help annotating this proof because I really dont understand.\r
\n" ); document.write( "\n" ); document.write( "1. ~H ∨ F
\n" ); document.write( "2. F → J
\n" ); document.write( "3. ~~H ∴ ~F ∨ J
\n" ); document.write( "4. F
\n" ); document.write( "5. J
\n" ); document.write( "6. ~F ∨ J \n" ); document.write( "
Algebra.Com's Answer #654127 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "  1. ~H ∨ F \r\n" );
document.write( "  2. F → J \r\n" );
document.write( "  3. ~~H       ∴ ~F ∨ J \r\n" );
document.write( "  4. F           1,3, Disjunctive syllogism \r\n" );
document.write( "  5. J           2,4, Modus ponens  \r\n" );
document.write( "5.5. J ∨ ~F        5, Addition\r\n" );
document.write( "  6. ~F ∨ J      5.5, Commutation.  \r\n" );
document.write( "\r\n" );
document.write( "[Notice I put in an extra step, numbered 5.5.  Maybe \r\n" );
document.write( "your professor considers ~F ∨ J and J ∨~F to be to \r\n" );
document.write( "same without bothering with commutation.  \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );