| P |
Q |
P↔Q |
| T |
T |
T |
| T |
F |
F |
| F |
T |
F |
| F |
F |
T |
/
(p is true) if and only if (q is true)
/
(p is false) if and only if (q is false)
/
{ this truth table represents the logical equality, or biconditional, of two statements: P, Q }
/
{ a biconditional is true only when both statements have the same truth value }
|