Contraposition

Grand Dictionnaire de la langue française numérisé

• n.f. Loi logique selon laquelle il est équivalent de dire que A implique B et que non-B implique non-A.

Portail internet "Le Dictionnaire"

• n. Raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« ou, non B ») pour en déduire la négation de l'antécédent (« donc non A »).

Le littré

• pas de définition

Wiktionnaire

• (Logique) Raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en déduire la négation de l'antécédent (« donc non A »).