–
–
| (P | → | Q) | (P | ↔ | Q) | |||
| T | T | T | T | T | T | |||
| T | F | F | T | F | F | |||
| F | T | T | F | F | T | |||
| F | T | F | F | T | F |
–
| Conditional | → | False when the WFF on the left is true and the WFF on the right is false, otherwise true | |
| Bi-Conditional | ↔ | True when the truth-value of the WFF on the left matches that of the WFF on the right, false when they clash. |
–