Signification quantificateur Ǝ!

[JEAMBONBEUR]

Bonjour , je ne trouve pas de réponse sur internet , alors , qu'elle est la différence entre Ǝ! et Ǝ (dans une assertion) , merci d'avance.

[FLBP]

Bonjour, le signifie "il existe" et : "il existe un unique"
Mais c'est un quantificateur qui n'est pas adopté partout

[Ben314]

Le truc archi. standard, c'est qui signifie "il existe au moins un élément vérifiant ce qu'il y a d'écrit ensuite".
Et en général on précise quel est "le type" d'élément en écrivant par exemple pour dire "il existe au moins un réel tel que..."
Et c'est beaucoup moins utilisé et ça signifie "il existe un unique réel tel que..."

[JEAMBONBEUR]

Je savais pour Ǝ mais pas pour Ǝ! , on me l'a jamais dit/expliqué que ce soit standard ou pas je peux pas le deviner , surtout que c'est uniquement du savoir , en tout cas merci pour vos réponses !

[Ben314]

Si ça t’intéresse ou que tu cherche d'autre trucs du même style, les symboles et , ça s'appelle des quantificateur (<- lien wiki) vu que ça sert à quantifier = quelle quantité (de solutions) il y a.