Biconditional
The biconditional p ? q is the proposition that is true when
p and q have the same truth values, and is false otherwise.
The truth table for biconditional:
p q p ? q
T T
T F
F T
F F
T
F
F
T
Readings for p ? q:
“p if and only if q”
“p is necessary and
sufficient for q”
“if p, then q, and
conversely”
Previous slide
Next slide
Back to first slide
View graphic version