1. Les quantificateurs
En logique mathématique, deux quantificateurs principaux permettent d’exprimer des propositions générales :
- Pour tout (∀) : La propriété s’applique à tous les éléments d’un ensemble. Exemples : « Pour tout entier n, n × 0 = 0. » → Tous les entiers vérifient ceci.
- Il existe (∃) : La propriété s’applique à au moins un élément de l’ensemble. Exemple : « Il existe un nombre premier pair. » (Vrai : 2)
2. Importance du sens des quantificateurs
- Intervertir « pour tout » et « il existe » change totalement le sens d’une affirmation.
- Exemple : « Pour tout x, il existe y tel que y > x » (vrai dans R), mais « Il existe y tel que pour tout x, y > x » (faux !)
3. Contre-exemples
- Qu’est-ce qu’un contre-exemple ? C’est un exemple précis, qui prouve qu’une affirmation générale est fausse.
- Méthode :
- Identifiez la propriété à invalider (de type « pour tout »).
- Trouvez un cas particulier qui ne satisfait pas la propriété.
- Exemple : Affirme « Tout nombre premier est impair. »
- Contre-exemple : 2 est un nombre premier qui est pair.
4. Utilisation du contre-exemple
- Il suffit d’un seul contre-exemple pour invalider une affirmation de type « pour tout ».
La maîtrise des quantificateurs et du raisonnement par contre-exemple est fondamentale pour argumenter en mathématiques.
