symbole "Il existe"

[Jezy]

bonjour à vous, je me posais la question suivante : Lorsqu'on pose "il existe x appartenant à R, tel que...", on est d'accord que x est nécessairement une constante ?
merci de votre aide
-----

[gg0]

Bonjour.

Qu'appelles-tu "une constante" ici ?
Autrement dit, dans quel contexte es-tu ? Cours de logique ? Question de mathématiques ? Question pédagogique ? Et à quel niveau ?

Cordialement.

[jacknicklaus]

hypothèse : tu utilises le terme "constante" à la place de "unique"
auquel cas la réponse est non.
il y a un quantificateur pour préciser "il existe un unique" :


A toi de nous dire si c'était bien ta question, car c'est pas clair.

[Médiat]

Bonjour,

bonjour à vous, je me posais la question suivante : Lorsqu'on pose "il existe x appartenant à R, tel que...", on est d'accord que x est nécessairement une constante ?
merci de votre aide

Non, au contraire !

"Il existe 2"n'a aucun sens.

Dans l'algorithme de construction des formules bien formées, quand on écrit "il existe x" x doit être un symbole de variable, pas de constante.

[A voir en vidéo sur Futura]

[Jezy]

c'est bien une question mathématiques. En fait dans cet exercice, on pose m pouvant prendre n'importe quelle valeur dans m puis on veut vérifier qu'il existe x vérifiant une certaine égalité. Je voulais pour cela dériver ma fonction et utiliser le TVI, puis après utiliser la bijection pour vérifier s'il en existe une unique (question suivante), et je me posais la question de comment je devais dériver x

[gg0]

C'est une technique classique de généraliser un problème en choisissant une variable pour traduire la situation et déterminer l'existence d'une valeur de cette variable qui convient.
Mais cela n'a rien à voir avec le statut d'une lettre dans une formule.

Sinon, ton explication n'est claire que pour celui qui a ton énoncé, pour les autres, c'est très confus.

Cordialement.