Questions: Biconditional Statements and Equivalence

Question 1

A student proves that if a number is divisible by 4, then it is divisible by 2, and concludes: 'A number is divisible by 4 if and only if it is divisible by 2.' What error did the student make?

• A. No error — proving one direction is sufficient to establish a biconditional
• B. The student proved only P → Q; the 'if' direction Q → P (divisible by 2 implies divisible by 4) was never established — and it's false
• C. The student proved the contrapositive instead of the conditional
• D. The proof is correct but should be stated as a theorem, not a biconditional

Answer: (B)

The student proved P → Q (divisible by 4 → divisible by 2), which is correct. But a biconditional P ↔ Q also requires Q → P — divisible by 2 → divisible by 4 — which is false: 6 is divisible by 2 but not by 4. This is the most common biconditional error: establishing only one direction and claiming the stronger two-way result. A biconditional is strictly stronger than a conditional and demands independent proofs in both directions.

Question 2

What are the truth values of P and Q that make P ↔ Q false?

• A. P is false and Q is false
• B. P is true and Q is true
• C. P is true and Q is false (or P is false and Q is true)
• D. P ↔ Q is never false — it is a tautology

Answer: (C)

The biconditional P ↔ Q is true when P and Q have the same truth value (both true or both false) and false when they disagree. The failing cases are exactly when one is true and the other is false. This is why the biconditional is often described as the 'same truth value' connective: it asks whether P and Q agree, and it fails precisely when they don't.

Question 3

Proving a mathematical biconditional P ↔ Q requires two separate arguments — one proving P → Q and another proving Q → P — and neither can be omitted.

• T. True
• F. False

Answer: True

A biconditional asserts both directions simultaneously, so proving it requires establishing each direction independently. A single argument that establishes only P → Q has proved a conditional, not a biconditional. Mathematicians sometimes use a chain of equivalences (each step being a biconditional) to prove P ↔ Q in one pass, but even that approach establishes both directions implicitly. No argument that addresses only one direction is sufficient.

Question 4

In mathematical English, 'P if Q' and 'P if and mainly if Q' say the same thing.

• T. True
• F. False

Answer: False

'P if Q' means Q → P — one direction only. 'P if and only if Q' means P ↔ Q — both directions. The phrase 'if and only if' is strictly stronger: it adds the 'only if' direction (P → Q) to the 'if' direction (Q → P). This is a precise distinction in mathematical language. Definitions always use 'if and only if' because they must hold in both directions; theorems that guarantee only one direction use 'if.'

Question 5

Why do mathematical definitions use 'if and only if' rather than just 'if'?

Model answer: A definition must characterize a concept completely — it must specify exactly when the concept applies and when it doesn't. Using only 'if' would provide a sufficient condition but not a necessary one, leaving open the possibility of things satisfying the concept without meeting the stated condition. 'If and only if' closes both sides: nothing falls under the concept unless it meets the condition, and everything that meets the condition falls under the concept.

For example, 'a function is continuous at x if for every ε > 0 there exists δ > 0 such that...' (one direction) would leave open whether there are continuous functions that don't satisfy the ε-δ condition. The biconditional version — 'if and only if' — makes the ε-δ condition both necessary and sufficient, drawing a sharp boundary around the concept. Definitions are biconditionals because they must fully characterize, not merely partially describe.