# 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.\r\r\r
\r\r
For example, consider the statement "If I am a human, then I am mortal", which is true. The converse is the statement "If I am mortal, then I am a human", which is not true. Mathematicians and logicians also sometimes speak of the converses of statements of different forms; for example, the converse of the statement "All humans are mortal" is "All mortals are human."\r\r
\r\r\r
See also:

Inverse,

Contrapositive,

Affirming the consequent.