Given the statement "if P, then Q," or P=>Q, the converse is "if Q, then P."

For example, the converse of "If a thing is a dog then it is a mammal" is "If a thing is a mammal then it is a dog." The converse of a theorem is a theorem if and only if P and Q are equivalent, i.e., P<=>Q.

See also

Conclusion, Hypothesis

Portions of this entry contributed by Jordan Bell

Explore with Wolfram|Alpha


Copi, I. M. and Cohen, C. Introduction to Logic. Englewood Cliffs, NJ: Prentice Hall, 2001.D'Angelo, J. P. and West, D. B. Mathematical Thinking: Problem-Solving and Proofs, 2nd ed. Upper Saddle River, NJ: Prentice-Hall, pp. 32-35, 2000.

Referenced on Wolfram|Alpha


Cite this as:

Bell, Jordan and Weisstein, Eric W. "Converse." From MathWorld--A Wolfram Web Resource.

Subject classifications