La contraposée de l'implication « P → Q » est « (non Q) → (non P) ». Une implication est toujours équivalente à sa contraposée.