document.write( "Question 251009: This stuff is crazy\r
\n" ); document.write( "\n" ); document.write( "O & I
\n" ); document.write( "O -> (S v G)
\n" ); document.write( "I -> ~G\r
\n" ); document.write( "\n" ); document.write( "We have to show S \n" ); document.write( "

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

You can put this solution on YOUR website!

\r\n" );
document.write( "1.  O & I\r\n" );
document.write( "2.  O -> (S v G)\r\n" );
document.write( "3.  I -> ~G                / :. S\r\n" );
document.write( "---------------------- \r\n" );
document.write( "4.  I & O                  1     Commutation\r\n" );
document.write( "5.  O                      1     Simplification\r\n" );
document.write( "6.  I                      4     Simplification\r\n" );
document.write( "7.  ~G                     3,6   Modus Ponens\r\n" );
document.write( "8.  S v G                  2,5   Modus Ponens\r\n" );
document.write( "9.  S                      8,7   Disjunctive Syllogism\r\n" );
document.write( "

\n" ); document.write( "

\n" );