I'm currently in Symbolic Logic with homework assignments (not asking for people to do my homework for me) with questions such as the following:
(derive the conclusion using the eighteen rules of inference)
- R ⊃ B
- R ⊃ (B ⊃ F )
- B ⊃ (F ⊃ H )
Conclusion: R ⊃ H
Two questions: is there a way to go through the logic, with the rules (if there are built-in symbolic logic rules), to arrive at the specific conclusion (there are always multiple ways to solve it, however)? And more importantly, how do I do symbolic logic in mathematica? I can't find any resources that mention how to do it with the relevance of the kind of symbolic logic I'm doing in my class.