Question 979378
<pre>
1. R & (R->S) 
2. P & (P->T) 
           |-  S & T

3. R      1,simp
4. R->S   1,simp
5. S      4,3,MP
6. P      2,simp
7. P->T   2,simp
8. T      7,6,MP
9. S & T  5,8,CJ

Edwin</pre>