Converse

Given the statement "if , then ," or , the converse is "if , then ."

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  and  are equivalent, i.e., .

REFERENCES

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.