Biconditional

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A binary connective (usually written ↔ or ↔) that is true exactly when its two operand formulas have the same truth value; in classical logic it captures material equivalence ('if and only if').