Wiki Maths du supérieur
Advertisement
Définition

Raisonnement par contraposition.png

Cours
Partie: Partie 1: Introduction
Chapitre: Chapitre 1: Éléments de logique
Cours précédent: Raisonnement par double implications
Cours suivant: Raisonnement par l'absurde
Général
Branche: Logique
Niveau: BAC+1


Définition

Prouver l'implication par contraposition, c'est prouver sa contraposée . Comme il y a équivalence entre les deux implications, prouver l'une, c'est prouver l'autre.

Cela permet de prouver une implication.

Exemple

Pour prouver que , on peut montrer que .

Notations utilisées sur cette page

Advertisement