In propositional calculation, an inverse proposition of a logical implication is an implication in which the premise and the conclusion are inverted.
The inverse proposition of the inverse of an implication is the initial proposition.
Example
If P and Q are two propositions, then the inverse proposition of P → Q is the proposition Q → P.