document.write( "Question 1059940: Looking for a logical proof help using rules of implication! Thank you!\r
\n" ); document.write( "\n" ); document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "1. (S ⊃ R) • Q\r\n" );
document.write( "\r\n" );
document.write( "2. R ⊃T    |  S ⊃ T\r\n" );
document.write( "\r\n" );
document.write( "
\n" ); document.write( "
Algebra.Com's Answer #674990 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!

\n" ); document.write( "
\r\n" );
document.write( "\r\n" );
document.write( "1. (S -> R) • Q\r\n" );
document.write( "\r\n" );
document.write( "2. R -> T    |  S -> T\r\n" );
document.write( "\r\n" );
document.write( "3. S -> R    1  Conjunction Elimination\r\n" );
document.write( "\r\n" );
document.write( "4. :. S -> T    3,2  Hypothetical Syllogism\r\n" );
document.write( "\r\n" );
document.write( "
\r
\n" ); document.write( "\n" ); document.write( "John
\n" ); document.write( "
\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "
\n" );