Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

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.