document.write( "Question 964275: (~RvD)-->~(F•G)/(F•R)-->S/F•~S/:.~(SvG) \n" ); document.write( "

Algebra.Com's Answer #589217 by Edwin McCravy(20056) $\"\"$ $\"About$

You can put this solution on YOUR website!

\r\n" );
document.write( "1. (~RvD)-->~(F•G)\r\n" );
document.write( "2. (F•R)-->S\r\n" );
document.write( "3. F•~S\r\n" );
document.write( "     ∴ ~(SvG)\r\n" );
document.write( "\r\n" );
document.write( "4. ~S                    3. Simp. \r\n" );
document.write( "5. ~S-->~(F•R)           2, CP\r\n" );
document.write( "6. ~(F•R)                5,4 MP\r\n" );
document.write( "7. ~Fv~R                 6, DM\r\n" );
document.write( "8. F                     3, Simp.\r\n" );
document.write( "9. ~~F                   8, DN\r\n" );
document.write( "10. ~R                   7,9 DS\r\n" );
document.write( "11. ~~(F•G)-->~(~RvD)    1, CP\r\n" );
document.write( "12. F•G-->~(~RvD)        11, DN\r\n" );
document.write( "13. F•G-->~~R•~D         12, DM\r\n" );
document.write( "14. F•G-->R•~D           13, DN\r\n" );
document.write( "15. ~(R•~D)-->~(F•G)     14, CP\r\n" );
document.write( "16. ~Rv~~D-->~Fv~G       15, DM\r\n" );
document.write( "17. ~RvD-->~Fv~G         16, DN \r\n" );
document.write( "18. ~RvD                 10, Addition\r\n" );
document.write( "19. ~Fv~G                17, 18, MP\r\n" );
document.write( "20. ~G                   19,9, DS\r\n" );
document.write( "21. ~G•~S                20,4 Conjunction\r\n" );
document.write( "22. ~(GvS)               21, DM \r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );