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

Looking for a logical proof help using rules of implication! Thank you! 1. [(T • R) v (answered by Edwin McCravy)
Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)
Need help with these proofs using rules of implication! Thank you! 1. P v (T v R)... (answered by Edwin McCravy)
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)
1.(SvT)⊃ (S⊃~T) 2.(S⊃~T) ⊃ (T⊃K) 3.SvT... (answered by jim_thompson5910)
how to proof the arguments: 1. T ⊃ G 2. S ⊃ G ∴ (T ∨ S)... (answered by Edwin McCravy)
COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR INDIRECT PROOF... (answered by robertb)
Hi, I need help with finishing these proofs for my PHI class I am so confused! :( [1] (answered by Edwin McCravy)
I am preparing for my final and am stuck studying on this problem. Please help me by... (answered by Edwin McCravy)