fsymbols
Caricamento dei simboli…
››
∃

Esiste

Esiste

∃ afferma che almeno una cosa soddisfa una condizione. In matematica e in logica, indica che un valore di una variabile va bene, senza specificare quale.

Simbolo testuale
Chiamato anche
quantificatore esistenziale · E rovesciata
Cercalo come
simbolo esiste · esistenza · quantificatore · ∃ in LaTeX
Compare in
Qualsiasi campo di testo · la forma dipende dal carattere

Cosa significa ∃

Almeno un valore soddisfa la condizione. In ∃x P(x), x è una variabile, cioè un segnaposto, e P(x) esprime la condizione; la formula chiede se un valore qualsiasi la soddisfa, senza dire quale.

Il matematico italiano Giuseppe Peano stampò questa E rovesciata nel 1897 per indicare che una classe (una raccolta) aveva almeno un elemento. Il suo segno epsilon del 1889 per l’appartenenza a un insieme (il fatto che un oggetto faccia parte di una raccolta) era un segno diverso, non una forma precedente di ∃. In seguito Bertrand Russell usò ∃ per quantificare una variabile, come nelle formule odierne.

Notazione formale della matematica e della logica; in un messaggio informale può sembrare gergo specialistico senza spiegazione.

∃ significa uno o più; per dire esattamente uno serve anche una condizione di unicità.

Non confonderlo con

1

Come digitare ∃

Windows (Word)
Alt+XDigita 2203, poi premi Alt+X per ottenere ∃.
Windows
Win+REsegui charmap per la tabella completa o usa la scheda Ω del selettore emoji (Win + .).
macOS
Control+Command+SpaceApri il visore caratteri e cerca «there exists».
Linux
Ctrl+Shift+UDigita 2203, poi premi Invio o Spazio.
HTML
∃
CSS
\2203
LaTeX
Il comando LaTeX \exists funziona in modalità matematica; per esempio, $\exists x\,P(x)$.
Codici e codificaPunti di codice: 1
HTML decimale
∃
HTML esadecimale
∃
Contenuto CSS
content: "\2203";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%88%83
1
Sullo schermo
1
Punti di codice
1
JS .length
3
Byte UTF-8

Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.

Gruppi di questo simbolo

1

Matematica e numeri1835 simboli