In logic and mathematics, if and only if (sometimes abbreviated as iff) is a logical operator denoting a logical biconditional (often symbolized by formula_1 orformula_2). It is often used to conjoin two statements which are logically equivalent. 