⊨
Satisfaz
- Unicode
- U+22A8
- Categoria
- Matemática
- HTML Entity
- ⊨
- CSS
- \22A8
O símbolo ⊨ (conhecido como catraca dupla ou "modelos") é um operador matemático usado extensivamente na lógica formal e na teoria dos modelos. Ele indica que um conjunto de premissas implica semanticamente em uma conclusão, ou que uma determinada estrutura satisfaz uma fórmula. Por ser um caractere técnico, seu uso se concentra em discussões acadêmicas de matemática, filosofia e ciência da computação.
Como digitar
- Windows
- No Word: digite 22A8 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 navegue até a seção de símbolos matemáticos
- Linux
- Ctrl+Shift+U, 22A8, e Enter
- HTML
- ⊨ ou ⊨
Em programação
No LaTeX, você gera este símbolo usando o comando `\models`. Em documentação de verificação formal e engenharia de software, ele descreve quando um sistema computacional ou modelo atende a um conjunto de regras lógicas.
Tags
verdadeiro
modelo
satisfação
lógica
matemática