Pour prouver une implication p ⇒ q, on démontre plutôt sa contraposée : ¬q ⇒ ¬p. Ces deux propositions sont logiquement équivalentes.

Exemple :
Soit p : « n est divisible par 4 » et q : « n est pair ».
La contraposée est : « Si n n'est pas pair, alors il n'est pas divisible par 4 ».