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 from the original statement. The categorical converse of a statement is contrasted with the
contrapositive and the
obverse.