- #1
Siann122
- 37
- 0
Homework Statement
Use the rules of inference to prove the following:
(¬p ^ q) ^ (r → p) ^ (¬r → s) ^ (s → t) ) ⇔ t.
Homework Equations
Rules of Inference I guess.
The Attempt at a Solution
Honestly I don't know where to start using the rules of inference. I drew a truth table and proved it was a tautology that way, but I can't see where to use the rules because it's such a long equation.
If I could even get the first rule to use I could probably work my way from there.
Thanks for any help.