a. the relationship between two statements, each of which implies the other
b. Also called: biconditional the binary truth-function that takes the value true when both component sentences are true or when both are false, corresponding to English if and only if. Symbol: ≡ or ↔, as in --(p ∧ q) ≡ --p ∨ --q