∀
Para todo
- Unicode
- U+2200
- Categoria
- Matemática
- HTML Entity
- ∀
- CSS
- \2200
O símbolo ∀, conhecido como "para todo" ou quantificador universal, é amplamente utilizado na lógica matemática e na teoria dos conjuntos. Ele indica que uma determinada afirmação é verdadeira para todos os elementos de um conjunto específico. Além da sua função na matemática, sua forma curiosa de letra "A" invertida acaba sendo usada ocasionalmente em estilizações tipográficas ou brincadeiras visuais nas redes sociais.
Como digitar
- Windows
- No Word: digite 2200 e pressione Alt + X. Em outros aplicativos o Windows não tem um atalho padrão: copie-o desta página
- macOS
- Control + Command + Space e busque por 'for all'
- Linux
- Ctrl + Shift + U e digite 2200 seguido de Enter
- HTML
- ∀ ou ∀
Em programação
Em ciência da computação e matemática discreta, o ∀ formaliza proposições lógicas. Algumas linguagens de programação e assistentes de prova, como Haskell e Agda, utilizam o símbolo para representar quantificação universal e definir tipos polimórficos.
Tags
quantificador
universal
lógica
para cada
matemática