L'équivalence logique ou l'inférence valable qui relie une implication A → B à sa contraposée ¬B → ¬A, utilisée pour transformer ou justifier des arguments en niant et en inversant antécédent et conséquent.

Principe

Si A implique B alors, classiquement, non-B implique non-A ; la contraposition échange une implication contre une implication équivalente entre composants niés et inversés, préservant la vérité en contexte classique.

Démonstration

De «Si un animal est un chien alors c'est un mammifère» on peut inférer la contraposée «Si un animal n'est pas un mammifère alors ce n'est pas un chien» ; les deux expriment la même contrainte sur les catégories en logique classique.

Mauvaise application

Appliquer la contraposition à des énoncés causaux ou probabilistes sans tenir compte de la modalité ou des hypothèses de fond (par ex. inférer de «Fumer cause une maladie» que «S'il n'y a pas de maladie alors on n'a pas fumé» dans un contexte où la causalité n'est pas biconditionnelle).

Conséquence

Fournit une stratégie de preuve puissante : démontrer ¬B → ¬A peut servir de preuve indirecte de A → B, et soutient des règles d'inférence comme le modus tollens et de nombreux raisonnements par réduction à l'absurde.

Inversion

La réversion est l'implication directe A → B (conversion), qui diffère de l'inverse B → A ou du contraire ; tandis que la contraposée est équivalente en logique classique, l'inverse et le contraire ne le sont pas en général.

Limite

Valable comme équivalence en logique classique et pour l'implication matérielle ; dans certaines logiques constructives ou de pertinence, l'équivalence complète peut échouer ou exiger des hypothèses supplémentaires sur la négation et l'implication.

Tension sémantique

Tension entre la contraposition et les lectures de l'implication comme causale, probante ou probabiliste — dans ces lectures la contraposition ne préserve pas nécessairement le sens visé même si elle préserve les conditions de vérité matérielles.

Synthèse

La Contraposition relie implication et négation de sorte que, dans les cadres classiques, une implication peut être reformulée comme une contraposée : cette transformation est logiquement sûre pour l'implication matérielle mais doit être maniée avec prudence en contextes non classiques ou sensibles à la modalité.