Wiki Maths du supérieur
Définition

Contraposée d'une implication

Cours
Partie: Partie 1: Introduction
Chapitre: Chapitre 1: Éléments de logique
Cours précédent: Équivalence et perte d'information
Cours suivant: Contraposée et équivalence
Général
Branche: Logique
Niveau: BAC+1


Définition

  • Soient et deux assertions.

L'implication est appelée contraposée de l'implication .

Exemples

  • La contraposée de est .
  • La contraposée de "Si c'est une pomme, alors c'est un fruit" est "Si ce n'est pas un fruit, alors ce n'est pas une pomme".

Attention

Il ne faut pas confondre la contraposée avec la réciproque (sera abordé plus loin dans le cours).

Propriétés

Notations utilisées sur cette page