document.write( "Question 249373: Solve please.\r
\n" ); document.write( "\n" ); document.write( "1. ~S->(~Gv~F)
\n" ); document.write( "2. (~F->~W).W\r
\n" ); document.write( "\n" ); document.write( ":. Sv~G \n" ); document.write( "

Algebra.Com's Answer #181627 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
Note: I'm going to use '&' instead of '.'\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1.  ~S -> (~G v ~F)\r\n" );
document.write( "2.  (~F -> ~W) & W          / :. S v ~G\r\n" );
document.write( "----------------------------\r\n" );
document.write( "3.  ~~S v (~G v ~F)             1       Material Implication\r\n" );
document.write( "4.  S v (~G v ~F)               3       Double Negation\r\n" );
document.write( "5.  (S v ~G) v ~F               4       Association\r\n" );
document.write( "6.  ~F v (S v ~G)               5       Commutation\r\n" );
document.write( "7.  F -> (S v ~G)               6       Material Implication\r\n" );
document.write( "8.  W & (~F -> ~W)              2       Commutation\r\n" );
document.write( "9.  W                           8       Simplification\r\n" );
document.write( "10. ~~W                         9       Double Negation\r\n" );
document.write( "11. ~F -> ~W                    2       Simplification\r\n" );
document.write( "12. ~~F                         11,10   Modus Tollens\r\n" );
document.write( "13. F                           12      Double Negation\r\n" );
document.write( "14. S v ~G                      7,13    Modus Ponens\r\n" );
document.write( "

\n" ); document.write( " \n" ); document.write( "

\n" );