I want to make sure I'm getting the concept down. The question is asking
(P'-->Q') [AND] Q [AND] (P-->R) --> R
Here is what I did:
- (P'-->Q') = (Hypothesis)
- Q = (Hypothesis)
- (P-->R) = (Hypothesis)
- P = (1,2, modus tollens)
- R = (3,4, modus ponens)
Is that correct? What I'm struggling to understand is which statement I should prove first and how I know if I'm including enough steps and all that and I just wanted to see if I got a good grasp of this concept. I will obviously do more examples but I just want to see if I'm headed in the right direction.