Conditional Statements or Implications, and
Bi-conditionals
For propositions P and Q, the implication or conditional state-
ment P → Q is false when P is true and Q is false, and is true
otherwise. P is called the premise or hypothesis, and Q is called
the conclusion.
Ways to read P → Q:
If P then Q.
P is sufficient for Q.
P implies Q.
Q follows from P.
9