Since an inverse is the contrapositive of the converse, inverse and converse are logically equivalent to each other.

In logic and mathematics, statements p {\displaystyle p} and q {\displaystyle q} are said to be logically equivalent if they are provable from each other under a set of axioms,[1] or have the same truth value in every model.