SOLUTION: 11. R & (R→ S), P & (P→ T)├ S & T Here is what I have so far 1.R&(R->S) ASSUMPTION 2. P&(P->T) ASSUMPTION CONCLUSION- S&T

Algebra ->  Proofs -> SOLUTION: 11. R & (R→ S), P & (P→ T)├ S & T Here is what I have so far 1.R&(R->S) ASSUMPTION 2. P&(P->T) ASSUMPTION CONCLUSION- S&T      Log On


   

Question 1153437: 11. R & (R→ S), P & (P→ T)├ S & T
Here is what I have so far
1.R&(R->S) ASSUMPTION
2. P&(P->T) ASSUMPTION







CONCLUSION- S&T
Answer by MathLover1(20850) About Me  (Show Source):
You can put this solution on YOUR website!

1. R & (R→S), 
2. P & (P→T)
         ├ S & T

3. R        1,simplification
4. R→S      1,simplification
5. S        4,3,modus ponens
6. P        2,simplification
7. P→T      2,simplification
8. T        7,6,modus ponens
9. S & T    5,7,conjunction

solved by tutor Edwin