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

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) (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

RELATED QUESTIONS
R & (R->S), P & (P->T) |- S &... (answered by Edwin McCravy)

p/q+q/r /... (answered by mangopeeler07)

1. P V Q 2. Q -> (R & S) 3. (R V P) -> T /... (answered by Edwin McCravy)

SOLVE THE PROOF P v Q, P → (T → S), P → T, S ↔ Q ├ S 1. P v Q (answered by Edwin McCravy)

p/q=r/s, then p/q+t/u =... (answered by solver91311)

P, R, S, and T represent numbers when p= -3/4,r=-1/2, s=1/2 t=1 1/4 Which statement... (answered by richard1234)

P, R, S, and T represent numbers, P= -3/4, R= -1/2, S=1/2, T= 1 1/4. Which statement... (answered by MathLover1)

I saw that people can solve logic proofs on this site. I've looked everywhere for help.... (answered by Edwin McCravy)

solve the equations P = t + r + S for... (answered by waynest)