SOLUTION: R & (R->S), P & (P->T) |- S & T

Algebra ->  Proofs -> SOLUTION: R & (R->S), P & (P->T) |- S & T      Log On


   

Question 979378: R & (R->S), P & (P->T) |- S & T
Answer by Edwin McCravy(20060) 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,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