Contraposition

En mathématiques et en logique, la contraposition transforme une implication « si A alors B » en une implication équivalente « si non B alors non A ». La nouvelle proposition obtenue « si non B alors non A » s'appelle la 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 ».

Texte : extrait de l'article Wikipédia « Proposition contraposée », sous licence CC BY-SA 4.0.