Definition:Inverse Statement

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.

Also see

 * Definition:Converse Statement
 * Definition:Contrapositive Statement