Biconditional Formula
The Formula
P \leftrightarrow Q \Leftrightarrow (P \to Q) \wedge (Q \to P)
When to use: 'P if and only if Q'—they're equivalent, true together or false together.
Quick Example
'A triangle is equilateral if and only if all angles are 60°.'
Notation
P \leftrightarrow Q
What This Formula Means
A biconditional P \leftrightarrow Q is true when P and Q have the same truth value — both true or both false.
'P if and only if Q'—they're equivalent, true together or false together.
Formal View
P \leftrightarrow Q \Leftrightarrow (P \to Q) \wedge (Q \to P) \Leftrightarrow (P \wedge Q) \vee (\neg P \wedge \neg Q)
Worked Examples
Example 1
easyEvaluate the biconditional p \Leftrightarrow q for all truth value combinations and construct its truth table.
Solution
- 1 p \Leftrightarrow q means 'p if and only if q' — it is true when p and q have the same truth value.
- 2 Row (T,T): both true — same value — T.
- 3 Row (T,F): different values — F.
- 4 Row (F,T): different values — F.
- 5 Row (F,F): both false — same value — T.
Answer
\begin{array}{cc|c}p & q & p \Leftrightarrow q\\ \hline T&T&T\\T&F&F\\F&T&F\\F&F&T\end{array}
A biconditional is true precisely when both sides share the same truth value. It is equivalent to (p \Rightarrow q) \land (q \Rightarrow p).
Example 2
mediumDetermine whether 'n is even \Leftrightarrow n^2 is even' is true for all integers n.
Common Mistakes
- Proving only one direction (P \to Q) and claiming the biconditional is proved — you must also prove Q \to P
- Confusing 'if' with 'if and only if' — 'P if Q' means Q \to P, while 'P iff Q' means both directions
- Thinking P \leftrightarrow Q is true when P and Q have different truth values — it requires SAME truth values
Why This Formula Matters
Defines equivalence; used in definitions and characterizations.
Frequently Asked Questions
What is the Biconditional formula?
A biconditional P \leftrightarrow Q is true when P and Q have the same truth value — both true or both false.
How do you use the Biconditional formula?
'P if and only if Q'—they're equivalent, true together or false together.
What do the symbols mean in the Biconditional formula?
P \leftrightarrow Q
Why is the Biconditional formula important in Math?
Defines equivalence; used in definitions and characterizations.
What do students get wrong about Biconditional?
To prove P \leftrightarrow Q, you must prove both directions.
What should I learn before the Biconditional formula?
Before studying the Biconditional formula, you should understand: conditional.