SOLUTION: Looking for a logical proof help using rules of implication! Thank you! <pre> 1. (S &#8835; R) • Q 2. R &#8835;T | S &#8835; T </pre>

Algebra ->  Proofs -> SOLUTION: Looking for a logical proof help using rules of implication! Thank you! <pre> 1. (S &#8835; R) • Q 2. R &#8835;T | S &#8835; T </pre>      Log On


   



Question 1059940: Looking for a logical proof help using rules of implication! Thank you!

1. (S ⊃ R) • Q

2. R ⊃T    |  S ⊃ T


Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


1. (S -> R) • Q

2. R -> T    |  S -> T

3. S -> R    1  Conjunction Elimination

4. :. S -> T    3,2  Hypothetical Syllogism


John

My calculator said it, I believe it, that settles it