
Lesson · 4 min Gentle
Only If, and If and Only If
In one line “A only if B” points one way; “A if and only if B” points both ways; many quarrels about rules are about which was meant.
Necessary and Sufficient showed that “only if” names something needed. This lesson draws the arrows. “You get a refund only if you keep the receipt” means: refund, so receipt. The arrow runs from refund to receipt and not back. Keeping the receipt does not promise a refund.
“If and only if” runs both ways. “The gate opens if and only if the card is valid” means two things: valid card, so gate open; gate open, so valid card. Mathematicians shorten it to iff. Each direction is a separate promise, and each can fail on its own.
Everyday speech blurs the two. “I will come if it is sunny” often means if and only if. A rule written with “if” is often read as “only if.” When a rule matters, ask the person who wrote it which arrows they meant, and write both down.
The bonus letter
Esther’s contract says, “A bonus is paid only if the team meets its target.” The team meets it, and no bonus arrives. Esther is angry until her colleague Wen draws the arrow: bonus, so target. The sentence never promised the reverse.
The next year she asks for different words: “A bonus is paid if and only if the team meets its target.” Now the arrow runs both ways. When the target is met, the bonus is owed, and when it is missed, nobody can expect one.
Try this today Rewrite one rule you follow as an arrow: which way does it point, and does the person who wrote it think it points both ways?
Cite or share this lesson
A plain reference you can paste into notes or an essay:
Quest2Reason. “Only If, and If and Only If.” https://quest2reason.com/learn/lesson/only-if-and-if-and-only-if. Accessed 13 November 2026.
Sources
- Stanford Encyclopedia of Philosophy, “Necessary and Sufficient Conditions” — How “only if” marks a necessary condition and how the two directions of a conditional come apart.
- Lewis Carroll, Symbolic Logic — A playful Victorian introduction to turning everyday sentences into exact ones, with hundreds of examples.
- forall x: Calgary — A free logic textbook; its chapter on symbolizing English covers “only if” and the biconditional.
