Modus Ponens

(Given) p \rightarrow q

(Given) p

Conclusion q

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.