contraposition

Définitions

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

Équivalents

Exemples

“C’est ce qu’on appelle, en logique mathématique, une contraposition. À titre d’illustration, disons que si vous avez beaucoup d’affaires (P), vous avez besoin d’une grande valise (S). Il n’en découle pas que si un un voyageur a une grande valise, il transporte en réalité beaucoup de choses. En revanche, cela signifie que si la valise n’est pas grande, il ne peut pas avoir⟳ emporté beaucoup de choses. En d’autres termes, « non S » prouve « non P ».”

Niveau CECR