∃
Existe
- Unicode
- U+2203
- Categoria
- Matematica
- HTML Entity
- ∃
- CSS
- \2203
O símbolo ∃, conhecido como quantificador existencial, é amplamente utilizado na lógica matemática para indicar que "existe pelo menos um" elemento que satisfaz uma determinada condição. Visualmente, trata-se de um "E" maiúsculo invertido horizontalmente, introduzido pelo matemático Giuseppe Peano no final do século XIX. Hoje, além de aparecer em equações acadêmicas complexas, você também o encontra em discussões online sobre filosofia, matemática discreta e ciência da computação.
Como digitar
- Windows
- Win + . e acesse os símbolos matemáticos, ou digite 2203 seguido de Alt + X no Word
- macOS
- Control + Command + Espaço e busque por 'existe'
- Linux
- Ctrl + Shift + U, digite 2203 e pressione Enter
- HTML
- ∃ ou ∃
Em programacao
Na programação convencional, o símbolo ∃ raramente é usado de forma direta no código, mas aparece frequentemente na documentação técnica (via LaTeX com o comando \exists) e em linguagens focadas em provas de teoremas, como Lean e Coq, para representar tipos lógicos existenciais.
Tags
quantificador
existencial
lógica
há
matemática