The [[Logical Inverse]] of a [[Conditional]] is the [[Conditional]] acted upon the [[Logical Negation|Negated]] inputs. >[!example] >The [[Logical Inverse|Inverse]] of $p \to q$ is $\neg p \to \neg q$.