The converse of an implication p ⇒ q is the implication q ⇒ p. If an implication is true, then its converse may or may not be true.
Computer
1. (of a conditional, P → Q) The statement
where ¬ denotes negation. See alsocontrapositive, inverse.
2. (of a binary relation) Another name for inverse.
Philosophy
The converse of a relation Rxy is that relation R′ such that R′yx iff Rxy. ‘Child of’ is the converse of ‘parent of’. The converse of a conditional ‘if p then q’ is the very different conditional, ‘if q then p’.