Conditional statements (converse, inverse, contrapositive, biconditional)
Conditional Statements
Conditional Statements is a topic in Proof & Reasoning in the Texas Essential Knowledge and Skills (Geometry, §111.41). It is aligned to Standard G.4(B), which requires students to identify and determine the validity of the converse, inverse, and contrapositive of a conditional statement.
A conditional statement has the form “if \(p\), then \(q\),” with a converse, inverse, contrapositive, and biconditional.
Theory
A conditional statement has the form “if \(p\), then \(q\)”, with hypothesis \(p\) and conclusion \(q\). From it come three related statements:
- Converse: if \(q\), then \(p\) (swap).
- Inverse: if not \(p\), then not \(q\) (negate).
- Contrapositive: if not \(q\), then not \(p\) (swap and negate).
A biconditional “\(p\) if and only if \(q\)” means both the conditional and its converse are true.
The four forms of “if \(p\) then \(q\)”:
How to form the related statements
- Identify the hypothesis \(p\) and conclusion \(q\).
- Converse: swap them.
- Inverse: negate both.
- Contrapositive: swap and negate.
- Biconditional: combine when both directions hold.
The converse swaps the hypothesis and conclusion.
| \(\text{converse}\) | \(:\) | \(\text{if it is a rectangle, then it is a square}\) |
(Note this converse is false.)
The contrapositive swaps and negates both parts.
| \(\text{contrapositive}\) | \(:\) | \(\text{if } x^2\neq 9,\ \text{then } x\neq 3\) |
A conditional is logically equivalent to its contrapositive.
| \(\text{conditional}\) | \(\equiv\) | \(\text{contrapositive}\) |
When both the conditional and its converse are true. A good definition is always biconditional.
Common pitfalls
Frequently asked questions
What is a conditional statement?
An if-then statement: “if \(p\) (hypothesis), then \(q\) (conclusion).”
What is the contrapositive?
“If not \(q\), then not \(p\)” — swap and negate. It is logically equivalent to the original conditional.
Is the converse always true when the conditional is?
No. The converse can be false even when the conditional is true; they are independent.
What is a biconditional statement?
“\(p\) if and only if \(q\)” — true when both the conditional and its converse hold, as in a definition.