document.write( "Question 981192: need help using rules of implication and first five rules of replacment\r
\n" ); document.write( "\n" ); document.write( "N>~F
\n" ); document.write( "~(XvV)
\n" ); document.write( "(~VvJ)>(C&F)
\n" ); document.write( "/~N \n" ); document.write( "
Algebra.Com's Answer #602218 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. N>~F\r\n" );
document.write( " 2. ~(XvV)\r\n" );
document.write( " 3. (~VvJ)>(C&F)\r\n" );
document.write( "                /~N\r\n" );
document.write( "\r\n" );
document.write( " 4. ~X&~V                    2, DeMorgan\r\n" );
document.write( " 5. ~V&~X                    4, Commutation\r\n" );
document.write( " 6. ~V                       5, Simplification\r\n" );
document.write( " 7. ~(~VvJ)v(C&F)            3, Material Implication\r\n" );
document.write( " 8. (~~V&~J)v(C&F)           7, DeMorgan\r\n" );
document.write( " 9. (V&~J)v(C&F)             8, Double negation\r\n" );
document.write( "10. [Vv(C&F)]&[~Jv(C&F)]     9, Distribution\r\n" );
document.write( "11. [~~Vv(C&F)]&[~Jv(C&F)]  10, Double negation\r\n" );
document.write( "12. [~V>(C&F)]&[~Jv(C&F)]   11, Material Implication      \r\n" );
document.write( "13. ~V>(C&F)                12, Simplification\r\n" );
document.write( "14. C&F                   13,6, Modus ponens\r\n" );
document.write( "15. F                       14, simplification\r\n" );
document.write( "16. ~~F>~N                   1, transposition\r\n" );
document.write( "17. F>~N                    16, Double negation\r\n" );
document.write( "18. ~N                   17,15, Modus ponens\r\n" );
document.write( "\r\n" );
document.write( "Edwn
\n" ); document.write( "
\n" );