⊨

Operador matemático 165

Unicode
U+22A8
Categoria
Matematica
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
Alt+8872 ou Win+. para abrir o painel de símbolos
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 programacao

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.

Ler artigo completo

Tags

verdadeiro modelo satisfação lógica matemática

Simbolos relacionados

± Sinal de mais-menos × Sinal de multiplicação ÷ Sinal de divisão ≠ Diferente de ≈ Aproximadamente igual a ∞ Infinito √ Raiz quadrada ∑ Somatório ∫ Integral π Pi ≤ Menor ou igual a ≥ Maior ou igual a