Mathématiques
Précédent
Suivant
Quantificateur universel

Cette phrase formelle affirme que la propriété est vraie pour tous les éléments de l'ensemble ou encore qu'il n'y a pas dans de contre-exemple à la propriété

On remarquera que le quantificateur est placé avant la propriété qu'il quantifie.

En français, pour traduire le caractère universel d'une propriété dans l'ensemble on utilisera des expressions comme

pour tout

pour n'importe quel

quelque soit

pour chaque

pour un quelconque.

Cependant, alors que le quantificateur en mathématiques doit figurer explicitement dans l'expression, il arrive en français qu'une phrase exprime une propriété universelle sans qu'un mot particulier comme tout, n'importe quel... ne figure.

Exemple : phrases universelles en français
  • Tout homme est mortel.

  • N'importe quel homme est mortel.

  • L'homme est mortel.

Ces phrases françaises sont rigoureusement équivalentes. Pourtant dans la dernière, il n'y a pas de marque explicite pour le caractère universel de la propriété énoncée. C'est l'article défini qui joue ce rôle, et on doit d'après le sens de la phrase, rétablir le quantificateur manquant pour traduire cette phrase en une phrase formalisée en mathématiques. On écrira :

désigne l'ensemble des hommes et la propriété est mortel" .

Exemple : mathématiques de phrases universelles

Ce même phénomène se présente aussi en mathématiques, dans la mesure où les propriétés mathématiques sont énoncées en utilisant la langue naturelle. Lorsqu'on dit

"un entier positif est plus grand qu'un entier négatif ",

il est évident que le sens est

"n'importe quel entier positif est plus grand que n'importe quel entier négatif ",

et donc que cette phrase se traduit par:

" L'addition des entiers est commutative" :

on sait que cela veut dire que le résultat de la somme de deux entiers (quelconques) ne dépend pas de l'ordre des termes. Si on veut formaliser cette phrase, il faudra donc faire intervenir deux quantificateurs universels :

Attention

La propriété est vraie pour n'importe quelle propriété puisqu'il n'y a aucun élément dans l'ensemble vide, et qu'une propriété est vraie dans un ensemble s'il n'y a pas de contre-exemple.

Remarque

La propriété ne dépend pas de elle signifie exactement la même chose que On dit que la variable est muette.

Exemple

Les deux formules suivantes sont équivalentes:

En effet, les deux formules signifient: "l'addition dans est commutative", et dans cette phrase, il n'y a ni ni ni ni ...

Légende :
Apprendre
S'évaluer
S'exercer
Observer
Simuler
Réalisé avec Scenari (nouvelle fenêtre)