- #1
honestrosewater
Gold Member
- 2,142
- 6
This is Propositional Logic. I just need to fill in the steps. Most obviously, if I can infer R -> S, I have a hypothetical syllogism, but I can't see how to infer R -> S. And nothing else I've tried works.
1. Q -> (R -> S) Premise
2. Q -> R Premise
3.
4.
5. Q -> S Conclusion
1. Q -> (R -> S) Premise
2. Q -> R Premise
3.
4.
5. Q -> S Conclusion