Mathwords logoMathwords

Converse

Converse

Switching the hypothesis and conclusion of a conditional statement. For example, the converse of "If it is raining then the grass is wet" is "If the grass is wet then it is raining."

Note: As in the example, a proposition may be true but have a false converse.

 

 

 

See also

Contrapositive, inverse of a conditional, biconditional

Key Formula

Conditional: P⇒QConverse: Q⇒P\text{Conditional: } P \Rightarrow Q \qquad \text{Converse: } Q \Rightarrow P
Where:
  • PP = The hypothesis (the "if" part) of the original conditional
  • QQ = The conclusion (the "then" part) of the original conditional
  • ⇒\Rightarrow = Means "implies" or "if … then"

Example

Problem: Given the conditional statement "If a shape is a square, then it has four sides," write its converse and determine whether the converse is true or false.
Step 1: Identify the hypothesis P and conclusion Q of the original statement.
P:A shape is a squareQ:It has four sidesP: \text{A shape is a square} \qquad Q: \text{It has four sides}
Step 2: Form the converse by swapping P and Q: "If it has four sides, then it is a square."
Q⇒P:If a shape has four sides, then it is a square.Q \Rightarrow P: \text{If a shape has four sides, then it is a square.}
Step 3: Check the truth value. A rectangle has four sides but is not necessarily a square, so the converse is false.
Answer: The converse is "If a shape has four sides, then it is a square." This converse is false because rectangles, rhombuses, and other quadrilaterals also have four sides.

Another Example

Problem: Given the conditional statement "If a number is divisible by 6, then it is divisible by 3," write its converse and determine whether the converse is true or false.
Step 1: Identify the hypothesis and conclusion.
P:A number is divisible by 6Q:It is divisible by 3P: \text{A number is divisible by 6} \qquad Q: \text{It is divisible by 3}
Step 2: Write the converse by switching P and Q.
Q⇒P:If a number is divisible by 3, then it is divisible by 6.Q \Rightarrow P: \text{If a number is divisible by 3, then it is divisible by 6.}
Step 3: Test with a counterexample. The number 9 is divisible by 3 but not by 6, so the converse is false.
Answer: The converse is "If a number is divisible by 3, then it is divisible by 6." This is false — 9 is a counterexample.

Frequently Asked Questions

Is the converse of a true statement always true?
No. A conditional statement can be true while its converse is false. For example, "If it is raining, then the ground is wet" is true, but its converse "If the ground is wet, then it is raining" is false — a sprinkler could have made the ground wet. The converse is only guaranteed to have the same truth value as the original when the statement is biconditional (if and only if).
What is the difference between the converse and the contrapositive?
The converse swaps the hypothesis and conclusion: P⇒QP \Rightarrow Q becomes Q⇒PQ \Rightarrow P. The contrapositive negates and swaps both parts: P⇒QP \Rightarrow Q becomes ¬Q⇒¬P\lnot Q \Rightarrow \lnot P. A key distinction is that the contrapositive always has the same truth value as the original statement, while the converse does not.

Converse vs. Contrapositive

Both are formed from a conditional statement P⇒QP \Rightarrow Q. The converse simply swaps the two parts to get Q⇒PQ \Rightarrow P; it may or may not share the truth value of the original. The contrapositive negates both parts and swaps them to get ¬Q⇒¬P\lnot Q \Rightarrow \lnot P; it is always logically equivalent to the original statement. In proofs, you can freely replace a statement with its contrapositive, but never assume the converse is true without separate justification.

Why It Matters

Understanding the converse is essential in geometry proofs and logical reasoning, where you must distinguish what a theorem actually guarantees from what it does not. Many logical errors stem from assuming the converse is automatically true — a fallacy known as "affirming the consequent." Recognizing when a statement and its converse are both true also leads to biconditional (if and only if) statements, which are among the strongest claims in mathematics.

Common Mistakes

Mistake: Assuming the converse of a true statement is also true.
Correction: The converse has an independent truth value. Always verify it separately with a proof or look for a counterexample. A true statement can have a false converse.
Mistake: Confusing the converse with the inverse or the contrapositive.
Correction: The converse swaps P and Q (Q⇒PQ \Rightarrow P). The inverse negates both (¬P⇒¬Q\lnot P \Rightarrow \lnot Q). The contrapositive negates and swaps (¬Q⇒¬P\lnot Q \Rightarrow \lnot P). Keep these three transformations distinct.

Related Terms