Contraposition

Opération logique qui, d'une proposition conditionnelle « si A alors B », tire la proposition équivalente « si non-B alors non-A ». La contraposée est toujours vraie quand l'implication initiale l'est.