contraposition

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