Propositional Calculus - What does P → Q mean?

The notation p → q, read as 'p implies q' or 'if p then q', asserts that if p holds true, then q must also be true. We accept that p → q is true even when p is false. In this implication, p is referred to as the hypothesis, and q is the conclusion.