A conditional (also called an if-then statement
or an implication) is a statement of the form, "if p then
q" - p is called the antecedent, q is called the consequent.
The conditional "if p then q" is false only
when p is true and q is false.