SOLUTION: I need help in constructing proofs for this problem. Thank you. R & (R→S), P & (P→T)├ S & T

Algebra ->  Proofs -> SOLUTION: I need help in constructing proofs for this problem. Thank you. R & (R→S), P & (P→T)├ S & T       Log On


   

Question 978475: I need help in constructing proofs for this problem. Thank you.
R & (R→S), P & (P→T)├ S & T
Answer by Edwin McCravy(20055) 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

Edwin