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

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

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

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

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

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

P · (Q ∨ R), Q ⊃ S, R ⊃ T ∴ ~T ⊃... (answered by Edwin McCravy)

Find the value of T if: P+Q=R R+S=T P+T=U Q+S+U=... (answered by solver91311)

i don't know where to begin p -> (q v r), (p -> r) -> (s & t), q -> r... (answered by Edwin McCravy)

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)