Definition:Inverse (Logic)
From ProofWiki
Definition
The inverse of the conditional:
- $p \implies q$
is the statement:
- $\neg p \implies \neg q$
The inverse of a true conditional is not necessarily true, and the inverse of a false conditional is not necessarily false.
