contraposition

Nom commun

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 »).