Converse (logic)

In logic, if S is a statement of the form P implies Q, then the converse of S is the statement of the form Q implies P. In general, the truth or falsity of S says nothing about the truth or falsity of its converse.

See also: Inverse, Contrapositive