| Définition | |
|
| |
| Cours | |
| Partie: | Partie 1: Introduction |
|---|---|
| Chapitre: | Chapitre 1: Éléments de logique |
| Cours précédent: | Raisonnement par série d'équivalences |
| Cours suivant: | Raisonnement par double implications |
| Général | |
| Branche: | Logique |
| Niveau: | BAC+1 |
Définition
Il s'agit d'un raisonnement qui consiste à enchainer des implication, puis à utiliser transitivité de l'implication pour conclure que la première assertion et la dernière assertion sont équivalentes.
Cela permet de prouver une implication.
Exemple
Voir la démonstration de la proposition "Universalité et équivalence".
| Navigation cours | |
|---|---|
| Précédent: | Raisonnement par série d'équivalences |
| Suivant: | Raisonnement par contraposition |