Si H désigne l'ensemble des hommes et la propriété "x est mortel", écrire avec le formalisme mathématique, en utilisant des quantificateurs, les phrases suivantes :

1. Tout homme est mortel
2. N'importe quel homme est mortel
3. L'homme est mortel

Que remarque-t-on ?

Ecrire une phrase "française" traduisant la phrase "mathématique" :

Ecrire en langage quantifié les assertions suivantes :

1. On peut trouver au moins un nombre rationnel compris entre et
2. On peut trouver certains rationnels compris entre et
3. Il existe un rationnel compris entre et
4. Il existe plusieurs rationnels compris entre et

Ecrire une phrase en français traduisant l'assertion mathématique suivante :