document.write( "Question 978475: I need help in constructing proofs for this problem. Thank you.
\n" ); document.write( "R & (R→S), P & (P→T)├ S & T \n" ); document.write( "
Algebra.Com's Answer #599847 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. R & (R→S), \r\n" );
document.write( "2. P & (P→T)\r\n" );
document.write( "         ├ S & T\r\n" );
document.write( "\r\n" );
document.write( "3. R        1,simplification\r\n" );
document.write( "4. R→S      1,simplification\r\n" );
document.write( "5. S        4,3,modus ponens\r\n" );
document.write( "6. P        2,simplification\r\n" );
document.write( "7. P→T      2,simplification\r\n" );
document.write( "8. T        7,6,modus ponens\r\n" );
document.write( "9. S & T    5,7,conjunction\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );