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.