biconditional

[ bahy-kuhn-dish-uh-nl ]

adjective

, Logic.

1. (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.”

biconditional

/ ˌbaɪkənˈdɪʃənəl /

noun

1. another name for equivalence

Word History and Origins

Origin of biconditional¹

First recorded in 1935–40; bi- ¹ + conditional