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

easy
Evaluate the biconditional p \Leftrightarrow q for all truth value combinations and construct its truth table.

Solution

  1. 1
    p \Leftrightarrow q means 'p if and only if q' — it is true when p and q have the same truth value.
  2. 2
    Row (T,T): both true — same value — T.
  3. 3
    Row (T,F): different values — F.
  4. 4
    Row (F,T): different values — F.
  5. 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

medium
Determine 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

Biconditionals define mathematical equivalence and appear in definitions (necessary and sufficient conditions), classification theorems, and logical circuit design where two conditions must match exactly.

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?

Biconditionals define mathematical equivalence and appear in definitions (necessary and sufficient conditions), classification theorems, and logical circuit design where two conditions must match exactly.

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.

← Back to Biconditional See All Examples Practice Problems

Related Concepts

Conditional Statement