The [[Contrapositive]] of a [[Conditional]] is the [[Logical Inverse]] of the [[Converse]] of the [[Conditional]]. >[!example] >The [[Contrapositive]] of $p\to q$ is $\neg q \to \neg p$.