Définition | |
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).