converse

The converse of an implication “if P, then Q” is the implication “if Q, then P” obtained by swapping hypothesis and conclusion. It is a brand-new statement that may be true or false independently of the original. Switching cause and effect in everyday speech shows the danger: “if it is raining, the ground is wet” is true, but its converse “if the ground is wet, it is raining” is false — a burst pipe would wet the ground without rain.

Because the converse is logically independent, knowing an implication tells you nothing about its converse. When both an implication and its converse happen to be true, P and Q are equivalent, written “P if and only if Q”; we then say P is a necessary and sufficient condition for Q. Many famous theorems pair up exactly this way, each direction proved separately.

A practical caution: do NOT confuse the converse with the contrapositive. The contrapositive of “if P then Q” is “if not Q then not P”, and it is always logically equivalent to the original. The converse, by contrast, is generally not equivalent. Mistaking one for the other — “affirming the converse” — is a classic logical fallacy.