Converse (logic)

In logic, the converse of a categorical or implicational statement is the result of reversing its two parts. For the implication P → Q, the converse is Q → P. For the categorical proposition All S is P, the converse is All P is S. In neither case does the converse necessarily follow. The categorical converse of a statement is contrasted with the contrapositive and the obverse.

Implicational converse

If S is a statement of the form P implies Q, then the converse of S is a statement of the form Q implies P. In general, the verity of S says nothing about the verity of its converse, unless the antecedent P and the consequent Q are logically equivalent.

For example, consider the true statement "If I am a human, then I am mortal." The converse of that statement is "If I am mortal, then I am a human," which is not necessarily true.

On the other hand, the converse of a statement with mutually inclusive terms remains true, given the truth of the original proposition. Thus, the statement "all bachelors are unmarried men" is logically equivalent to "all unmarried men are bachelors."

A truth table makes it clear that S and the converse of S are not logically equivalent unless both terms imply each other:

P	Q	P → Q	Q → P (converse)
T	T	T	T
T	F	F	T
F	T	T	F
F	F	T	T

Going from a statement to its converse is the fallacy of affirming the consequent. However, if the statement S and its converse are equivalent (i.e. if P is true if and only if Q is also true), then affirming the consequent will be valid.

In mathematics, the converse of a theorem may or may not be true. If true, the proof may be difficult. For example, the Four-vertex theorem was proved in 1912, but its converse only in 1998.

Categorical converse

In traditional logic, the process of going from All S is P to its converse All P is S is called conversion. In the words of Asa Mahan, "The original proposition is called the exposita; when converted, it is denominated the converse. Conversion is valid when, and only when, nothing is asserted in the converse which is not affirmed or implied in the exposita." The "exposita" is more usually called the "convertend." In its simple form, conversion is valid only for E and I propositions:

Type	Proposition	Simple converse	Conversion per accidens
A	All S is P	not valid	Some P is S
E	No S is P	No P is S	Some P is not S
I	Some S is P	Some P is S	–
O	Some S is not P	not valid	–

The validity of simple conversion only for E and I propositions can be expressed by the restriction that "No term must be distributed in the converse which is not distributed in the convertend." For E propositions, both subject and predicate are distributed, while for I propositions, neither is.

For A propositions, the subject is distributed while the predicate is not, and so the inference from an A statement to its converse is not valid. As an example, for the A proposition "All cats are mammals," the converse "All mammals are cats" is obviously false. However, the weaker statement "Some mammals are cats" is true. Logicians define conversion per accidens to be the process of producing this weaker statement: inference from a statement to its converse per accidens is generally valid. However, as with syllogisms, this switch from the universal to the particular causes problems with empty categories: "All unicorns are mammals" is often taken as true, while the converse per accidens "Some mammals are unicorns" is clearly false.

See also

• Aristotle
• Contrapositive
• Contraposition
• Inference
• Obversion
• Syllogism

• Relational oppositeness
• Syllogism
• Term logic
• Transposition (logic)
• Inverse (logic)
• Affirming the consequent