(Given)
(Given)
Conclusion
Take the time to make certain this makes sense to you. It can be confusing at first because it is so simple.
One thing to take away from this, and I hope this makes sense too: having the implication (p –> q) doesn’t give you the antecedent (q). Instead, you have to have both the implication and the antecedent.