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

Algebra.Com
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(20056)   (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
RELATED QUESTIONS

Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)
Construct Conditional Proofs 1. P → Q 2. (P • Q) → R 3. P → (R... (answered by jim_thompson5910)
What is the truth table for this? Is this valid or invalid? Thank you for your help!... (answered by jim_thompson5910)
~(Z v Y) → ~W, ~U → ~(Z v Y), (~U → ~W) → (T → S), S... (answered by math_helper)
how do you construct a proof for the following arguments? Help on homework s V p p... (answered by solver91311)
1. ~P∨Q 2. Q→R ∴ P→R 1. R∨~Q 2. P→Q 3. ~R (answered by Edwin McCravy)
write a direct proof using the eight rules of inference (C → Q) • (~L →... (answered by Edwin McCravy)
P v Q, P → (T → S), P → T, S ↔ Q ├ S 1. P v Q A (answered by jim_thompson5910)
What is the truth table for this argument? Is this argument valid or invalid? Thank you... (answered by jim_thompson5910)