document.write( "Question 1154594: Solve the following Proof:\r
\n" ); document.write( "\n" ); document.write( "1. G => (S&T)
\n" ); document.write( "2. (S v T) => J
\n" ); document.write( "3. G /J \n" ); document.write( "

Algebra.Com's Answer #777139 by math_helper(2461) $\"\"$ $\"About$

You can put this solution on YOUR website!

\r
\n" );
document.write( "\n" );
document.write( "1. G => (S&T)         Premise 
\n" );
document.write( "2. (S v T) => J       Premise
\n" );
document.write( "3. G                  Premise
\n" );
document.write( "4. S & T              3,1 Modus Ponens (MP)
\n" );
document.write( "5. S                  4 Simplification (SIMP)
\n" );
document.write( "6. S v T              5 Addition (ADD)
\n" );
document.write( "7. J                  6,2 MP\r
\n" );
document.write( "\n" );
document.write( "--------
\n" );
document.write( "There are other ways to go that are equally valid.  One example: we could have used T true on line 5 and ADDed S on line 6. 
\n" );
document.write( " \n" );
document.write( "

\n" );