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.