⊦
Asserção
- Unicode
- U+22A6
- Categoria
- Matemática
- HTML Entity
- ⊦
- CSS
- \22A6
O símbolo ⊦ (asserção) é usado na lógica matemática e teoria da computação para indicar que uma proposição é verdadeira ou válida dentro de um sistema formal. Ele funciona como uma declaração de que algo pode ser deduzido ou provado a partir de um conjunto de premissas lógicas. Visualmente semelhante ao símbolo de catraca (⊢), ele aparece com frequência para representar deduções sintáticas em trabalhos acadêmicos e fórmulas matemáticas estruturadas.
Como digitar
- Windows
- No Word: digite 22A6 e pressione Alt + X. Em outros aplicativos o Windows não tem um atalho padrão: copie-o desta página
- macOS
- Control + Command + Espaço para abrir o Visualizador de Caracteres, depois busque por "assertion".
- Linux
- Ctrl + Shift + U, digite 22a6 e pressione Enter.
- HTML
- ⊦ ou ⊦
Em programação
Na teoria dos tipos e no estudo de linguagens de programação formais, o símbolo de asserção é utilizado nas regras de inferência para documentar que uma expressão compila corretamente ou é validamente tipada em um determinado contexto.
Tags
asserção
afirmação
prova
lógica
matemática