Inverse Proposition
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.
