Soit p et q deux propositions. La contraposée de p ⇒ q {\displaystyle p\Rightarrow q} est : ¬ q ⇒ ¬ p {\displaystyle \lnot q\Rightarrow \lnot p} .