A biconditional statement "P if and only if Q" (written P ↔ Q) means that P and Q are true together or false together. It is equivalent to both P → Q and Q → P being true simultaneously — the conditional works in both directions. In mathematics, biconditionals express exact equivalences: "A number is even if and only if it is divisible by 2." The biconditional is stronger than a one-way conditional because it says neither side can be true without the other.
Start with definitions, which are natural biconditionals: "A triangle is equilateral if and only if all three sides are equal." Show that this means two things: (1) if a triangle is equilateral, then all three sides are equal, and (2) if all three sides are equal, then the triangle is equilateral. Compare with one-way conditionals: "If a shape is a square, then it has four right angles" (true) vs. "A shape is a square if and only if it has four right angles" (false — rectangles also have four right angles).
You know that a conditional "If P, then Q" is a one-way street: it guarantees Q when P is true, but says nothing about P when Q is true. A biconditional "P if and only if Q" is a two-way street: it says P guarantees Q and Q guarantees P. Neither can be true without the other, and neither can be false without the other.
Think of it as two conditionals packaged together. "P if and only if Q" means "If P, then Q" AND "If Q, then P." Both directions must hold. When mathematicians write "A number is prime if and only if it has exactly two distinct factors," they are making two claims at once: every prime has exactly two distinct factors, and every number with exactly two distinct factors is prime. If either direction failed, the biconditional would be false.
The phrase "if and only if" is so common in mathematics that it has its own abbreviation: "iff" (with two f's). You will also see the symbol ↔ or ⇔. All three mean the same thing: the conditional works in both directions.
Biconditionals appear naturally in definitions. When a textbook says "an integer n is even if it is divisible by 2," the unstated implication is "if and only if." Definitions are always biconditional because they establish exact equivalences — the defined term applies precisely when the defining condition holds, and does not apply otherwise. Recognizing this hidden biconditional structure in definitions will help you use them correctly in proofs.
To check whether a biconditional is true, you must verify both directions and find counterexamples to test each. "A polygon is a triangle if and only if it has exactly three sides" — forward direction: every triangle has three sides (true); reverse direction: every three-sided polygon is a triangle (true). The biconditional holds. Now try: "A number is a perfect square if and only if it is positive." Forward: every perfect square is positive — but wait, 0 = 0² is a perfect square and is not positive. The forward direction fails, so the biconditional is false. You only need one counterexample in one direction to break a biconditional.