–
–
(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. |
–