document.write( "Question 979378: R & (R->S), P & (P->T) |- S & T \n" ); document.write( "
Algebra.Com's Answer #600662 by Edwin McCravy(20060)\"\" \"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,simp\r\n" );
document.write( "4. R->S   1,simp\r\n" );
document.write( "5. S      4,3,MP\r\n" );
document.write( "6. P      2,simp\r\n" );
document.write( "7. P->T   2,simp\r\n" );
document.write( "8. T      7,6,MP\r\n" );
document.write( "9. S & T  5,8,CJ\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );