Page 12 - Chapter 2

\

Conditional

Statement

• Conditional statement

p q p => q
If p and q are statements,

the compound statement “if p T T T

then q”, denoted p=>q, is called
T F F
a conditional statement or

implication. F T T

p : antecedent or hypothesis F F T

q : consequent or conclusion
Note: when p is F, then p=>q is T.

if … then : =>