Langage de la logique et des ensembles

Toujours dans l'autre sens ! - Exercice 1

30 min
50
Toujours des traductions en assertions mathématiques.
Question 1
Traduire à l'aide d'assertions quantifiées les propriétés suivantes :

On peut trouver au moins un nombre rationnel compris entre 2\sqrt{2} et 3\sqrt{3}.

Correction
Dans l'intervalle [2;3]\left[\sqrt{2} \, ; \, \sqrt{3} \right] ilexisteaumoinsdeuxnombresirrationnels{\color{red}{\bf{ il \,\, existe \,\, au \,\, moins \,\, deux \,\, nombres \,\, irrationnels }}}, qui sont (par exemples), les bornes de cet intervalle !
Donc, de fait ilenexisteaumoinsun{\color{red}{\bf{ il \,\, en \,\, existe \,\, au \,\, moins \,\, un }}}.
Autrement dit, l'intersection entre Q\mathbb{Q} et l'intervalle [2;3]\left[\sqrt{2} \, ; \, \sqrt{3} \right] n'est pas vide : Q[2;3]\mathbb{Q} \cap \left[\sqrt{2} \, ; \, \sqrt{3} \right] \neq \emptyset.
On a donc la traduction suivante :
xQ,2x3{\color{red}{\boxed{\exist x \in \mathbb{Q}, \, \sqrt{2} \leqslant x \leqslant \sqrt{3} }}}
Question 2

On peut trouver des nombres rationnels compris entre 2\sqrt{2} et 3\sqrt{3}.

Correction
Il s'agit de la même propriété qu'à la question précédente. La différence réside dans l'expression littéraire de la proposition, donc dans le choix du vocabulaire. Donc la traduction est :
xQ,2x3{\color{red}{\boxed{\exist x \in \mathbb{Q}, \, \sqrt{2} \leqslant x \leqslant \sqrt{3} }}}
Question 3

On peut trouver certains nombres rationnels compris entre 2\sqrt{2} et 3\sqrt{3}.

Correction
C'est encore la même situation !
Il s'agit de la même propriété qu'aux deux questions précédentes. La différence réside dans l'expression littéraire de la proposition, donc dans le choix du vocabulaire. Donc la traduction est :
xQ,2x3{\color{red}{\boxed{\exist x \in \mathbb{Q}, \, \sqrt{2} \leqslant x \leqslant \sqrt{3} }}}
Question 4

Il existe des nombres rationnels compris entre 2\sqrt{2} et 3\sqrt{3}.

Correction
C'est encore la même situation !
Il s'agit de la même propriété qu'aux trois questions précédentes. La différence réside dans l'expression littéraire de la proposition, donc dans le choix du vocabulaire. Donc la traduction est :
xQ,2x3{\color{red}{\boxed{\exist x \in \mathbb{Q}, \, \sqrt{2} \leqslant x \leqslant \sqrt{3} }}}