Implication
The implication p ? q is the proposition that is false only when
p is true and q is false.
p is called the hypothesis and q is called the conclusion.
The truth table for implication:
p q p ? q
T T
T F
F T
F F
T
F
T
T
Readings for p ? q:
“if p, then q”
“p implies q”
“p only if q”
“q if p”
“q whenever p”
“q is necessary for p”
Previous slide
Next slide
Back to first slide
View graphic version