Section 12.3 – A Closer Look
at If-Then Statements
Conditional Truth Table
- a conditional statement is false only when p is true and q is false.
|
p |
q |
p è
q |
|
T |
T |
T |
|
T |
F |
F |
|
F |
T |
T |
|
F |
F |
T |
Converse of a Conditional
|
p |
q |
q è
p |
|
T |
T |
T |
|
T |
F |
T |
|
F |
T |
F |
|
F |
F |
T |
Inverse of a Conditional
|
p |
q |
~p |
~q |
~p è
~q |
|
T |
T |
F |
F |
|
|
T |
F |
F |
T |
|
|
F |
T |
T |
F |
|
|
F |
F |
T |
T |
|
Contrapositive of a Conditional
|
p |
q |
~q |
~p |
~q è
~p |
|
T |
T |
F |
F |
|
|
T |
F |
T |
F |
|
|
F |
T |
F |
T |
|
|
F |
F |
T |
T |
|
THREE RELATED FORMS OF AN IF-THEN STATEMENT/CONDITIONAL
|
Conditional |
If p then q |
p è
q |
|
Converse |
If q then p |
q è
p |
|
Inverse |
If ~ p then ~ q |
~ p è
~ q |
|
Contrapositive |
If ~ q then ~ p |
~q è
~ p |