/buy'keuhn dish"euh nl/ , adj. Logic.
(of a proposition) asserting that the existence or occurrence of one thing or event depends on, and is dependent on, the existence or occurrence of another, as "A if and only if B."
[ 1935-40; BI- 1 + CONDITIONAL ]