En logique booléenne, proposition équivalente à une conditionnelle P → Q et définie par la conditionnelle ¬Q →¬P.
Exemples
En logique, la contraposition est un type de raisonnement consistant à affirmer l’implication « si non B alors non A » à partir de l’implication « si A alors B ». L’implication « si non B alors non A » est appelée contraposée de « si A alors B ».
Par exemple, la proposition contraposée de la proposition « s’il pleut, alors le sol est mouillé » est « si le sol n’est pas mouillé, alors il ne pleut pas ».
Par exemple, la proposition contraposée de la proposition « si n est un multiple de 9, alors n n’est pas premier » est « si n est premier, alors n n’est pas un multiple de 9 ».