-
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 :
x 
H, M(x)
où H désigne l'ensemble
des hommes et "M(x)" la propriété "x est mortel" .
