The converse of an implication is an implication with the antecedent and consequent interchanged. For example, the converse of (p ⇒ q) is (q ⇒ p). Note that the converse of an implication is not logically equivalent to the implication.