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 et 3.
Correction
Dans l'intervalle [2;3]ilexisteaumoinsdeuxnombresirrationnels, qui sont (par exemples), les bornes de cet intervalle ! Donc, de fait ilenexisteaumoinsun. Autrement dit, l'intersection entre Q et l'intervalle [2;3] n'est pas vide : Q∩[2;3]=∅. On a donc la traduction suivante : ∃x∈Q,2⩽x⩽3
Question 2
On peut trouver des nombres rationnels compris entre 2 et 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 : ∃x∈Q,2⩽x⩽3
Question 3
On peut trouver certains nombres rationnels compris entre 2 et 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 : ∃x∈Q,2⩽x⩽3
Question 4
Il existe des nombres rationnels compris entre 2 et 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 : ∃x∈Q,2⩽x⩽3