Definition:Inverse Statement

Definition
The inverse of the conditional:
 * $p \implies q$

is the statement:
 * $\neg p \implies \neg q$

Also see

 * Conditional and Inverse are not Equivalent: The inverse of a true conditional is not necessarily true, and the inverse of a false conditional is not necessarily false.


 * Definition:Converse Statement
 * Definition:Contrapositive Statement