Main Page | See live article | Alphabetical index

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.