The logical statement P → q (p implies q) is a statement with an hypothesis followed by a conclusion.
P → q is only false when p (the hypothesis) is true and q(the conclusion) is false. P → q is true for other cases.
Truth table:
3.5m questions
4.5m answers