Inverse (logic) in the context of "Denying the antecedent"

In logic, an inverse is a type of conditional sentence which is an immediate inference made from another conditional sentence. More specifically, given a conditional sentence of the form ${\displaystyle P\rightarrow Q}$, the inverse refers to the sentence ${\displaystyle \neg P\rightarrow \neg Q}$. Since an inverse is the contrapositive of the converse, inverse and converse are logically equivalent to each other.

For example, substituting propositions in natural language for logical variables, the inverse of the following conditional proposition