If p and q are statements, the statement ‘p implies q' or ‘if p then q' is an implication and is denoted by p ⇒ q. It is reckoned to be false only in the case when p is true and q is false. So its truth table is as follows:
p is said to be sufficient for q and q to be necessary for p.