Definition:Converse
From ProofWiki
Definition
The converse of the conditional:
- $p \implies q$
is the statement:
- $q \implies p$
The converse of a true conditional is not necessarily true, and the converse of a false conditional is not necessarily false.
