A biconditional statement 'P if and only if Q' (written P ↔ Q) is true exactly when P and Q have the same truth value. It is equivalent to saying (P → Q) AND (Q → P). Biconditionals express when two statements are equivalent and are essential in definitions and characterizations.
Understand biconditional as 'P and Q have the same truth value' rather than memorizing a complex definition. Practice converting between biconditional and 'if and only if' language.
You already know the conditional P → Q: "if P then Q." It makes a one-way promise — whenever P is true, Q must be true. But it says nothing about what happens when Q is true; P might or might not hold. The biconditional P ↔ Q strengthens this to a two-way promise: P is true exactly when Q is true, and false exactly when Q is false. They move together.
The easiest way to understand P ↔ Q is through its truth table. The biconditional is true when both P and Q are true, and also when both P and Q are false. It is false when they disagree — P true with Q false, or P false with Q true. In other words, P ↔ Q is the logical connective that asks "do P and Q have the same truth value?" This is why mathematicians read it as "P if and only if Q" (often abbreviated iff): the "if" direction gives Q → P, and the "only if" direction gives P → Q. Having both directions is exactly what a biconditional asserts.
Biconditionals are essential in mathematical definitions and theorems. When a definition says "a function f is continuous at x if and only if for every ε > 0 there exists δ > 0 such that…," it is giving a biconditional: the concept is fully characterized by that condition in both directions. Proving a biconditional therefore requires two separate arguments — you must prove P → Q and then prove Q → P independently. A very common error is establishing only one direction and writing P ↔ Q when you have only earned P → Q. The biconditional is a strictly stronger claim and demands strictly stronger evidence.
Biconditionals also capture logical equivalence: two statements are logically equivalent when P ↔ Q is a tautology — true under every possible truth value assignment. De Morgan's laws, the equivalence of P → Q and ¬P ∨ Q, and the double negation law are all logical equivalences of this kind. This connects forward to equivalence relations in algebra, where the key insight is that equivalence partitions a set into classes of mutually interchangeable elements. The biconditional is the propositional-logic version of that idea.