See 'If and Only If' (↔)? Verify Both Directions — p → q AND q → p

A JEE or board statement slides the symbol \Leftrightarrow, or the words "if and only if" (shortened to "iff"), into a claim. If that symbol catches your eye and you instinctively reach to prove one direction, stop. The recognition cue is: biconditional always splits into two implications, and both must be established.

The logical identity behind the reflex is:

p \Leftrightarrow q \equiv (p \Rightarrow q) \land (q \Rightarrow p).

A biconditional is logically equivalent to the conjunction of both one-way implications. Prove only p \Rightarrow q and you have proved half. Prove only q \Rightarrow p and you have proved the other half. Neither on its own closes the biconditional.

The recognition cue

Train your eyes to spot any of these signals:

The symbol \Leftrightarrow in a formula.
The phrase "if and only if" — written out or abbreviated "iff".
A definition-like sentence: "A is true exactly when B is true."
Theorems named "Characterisation of X" — these almost always bundle a forward and a reverse implication.
A multiple-choice JEE question asking "P holds iff which of the following?" — the options are candidates for q such that p \Leftrightarrow q.

Any of these should light up the "two directions" reflex immediately.

The two-column template

When you sit down to prove a biconditional, split your answer in two — literally, on paper.

(⇒) Forward direction: assume p; derive q.

(⇐) Reverse direction: assume q; derive p.

Draw an arrow for each. Label each block. This small ritual makes it almost impossible to skip a direction by accident.

Why the ritual matters: the forward and reverse proofs often use different arguments, sometimes dramatically so. If you try to handle them as one blended proof, you will usually succeed on one direction and hand-wave the other. The two-column split forces you to write down two arguments, and makes gaps visible.

A walked example

Claim: For an integer n, n is even if and only if n^2 is even.

Let p = "n is even", q = "n^2 is even." The biconditional is p \Leftrightarrow q.

(⇒) Forward: assume p, derive q.

Assume n is even. Then n = 2k for some integer k. Square: n^2 = 4k^2 = 2(2k^2), which is even. So q holds. \square

(⇐) Reverse: assume q, derive p.

Assume n^2 is even. Prove n is even. Direct is awkward here; use the contrapositive instead — assume n is odd, show n^2 is odd. If n = 2k + 1, then n^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1, odd. So \lnot p \Rightarrow \lnot q, equivalent to q \Rightarrow p. \square

Both directions established; biconditional closed.

Notice how the two directions used different techniques: forward was direct, reverse required the contrapositive. That is common — your toolkit applies direction by direction, not to the biconditional as a whole.

Common traps

Trap 1: Proving only one direction

By far the most common failure mode in iff proofs. You finish the forward direction, feel satisfied, and move on — without addressing the reverse. Half a proof means zero marks for the theorem in a strict grader's eyes.

Countermeasure: after writing each direction, scan the page and check both arrows — \Rightarrow and \Leftarrow — are present with their own full arguments.

Trap 2: Proving the converse, calling it done

A particularly tricky version of Trap 1: you think you proved both, but you accidentally wrote "assume p, derive q" twice (once in the forward block and once, by mistake, in the reverse block). The reverse block was supposed to prove q \Rightarrow p, not p \Rightarrow q again.

Countermeasure: each block's first line must start with the block's own hypothesis. Forward block opens with "assume p." Reverse block opens with "assume q." If both open with the same assumption, you proved one direction twice.

Trap 3: Circular reasoning across directions

Some proofs accidentally use q \Rightarrow p inside the forward direction (or vice versa). If you do, the proof collapses — you are assuming what you are trying to prove.

Countermeasure: each direction must be self-contained. No appealing to the other direction as a premise.

Variants you will encounter

Iff theorems come in several flavours, all solved the same way.

"A holds if and only if B holds" — standard biconditional, two directions.
"The following are equivalent (TFAE): A, B, C" — a chain of biconditionals. Prove A \Rightarrow B, B \Rightarrow C, C \Rightarrow A (the cycle), or some permutation that touches each arrow. Three implications suffice to bundle all six pairwise equivalences.
"Characterisation" theorems — e.g. "A quadrilateral is a parallelogram iff its diagonals bisect each other." Exactly the same two-direction split.
"Necessary and sufficient condition" — language for a biconditional. "Necessary" is the \Leftarrow direction; "sufficient" is the \Rightarrow direction. Prove both.

Quick self-check before moving on

After you think you have closed a biconditional, run this audit:

[ ] Did I write two separate direction blocks?
[ ] Does one block open with "assume p" and the other with "assume q"?
[ ] Did each block end with the other quantity established?
[ ] Did I avoid using the not-yet-proved direction inside the current block?

If all four boxes tick, you have a complete proof of the biconditional. If even one fails, you have a gap.

The recognition "\Leftrightarrow means two directions" costs nothing to install and prevents the most expensive kind of silent error in logic exams.