Science Fair Project Encyclopedia
In logic, if "S" is a statement of the form P implies Q, then the converse of "S" is a statement of the form Q implies P. In general, the verity of "S" says nothing about the verity of its converse.
For example, consider the true statement "If I am a human, then I am mortal." The converse is that statement is "If I am mortal, then I am a human," which is not necessarily 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."
A truth table makes it clear that "S" and the converse of "S" are not logically equivalent:
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details