⊬
Operador matemático 169
- Unicode
- U+22AC
- Categoria
- Matematica
- HTML Entity
- ⊬
- CSS
- \22AC
O símbolo ⊬ representa "não prova" ou "não resulta em", sendo um operador matemático essencial na lógica formal e na teoria da demonstração. Ele atua como a negação do símbolo de prova (⊢), indicando que uma conclusão específica não pode ser deduzida logicamente a partir de um conjunto dado de premissas. Esse caractere é comumente usado em textos acadêmicos de matemática, ciência da computação e filosofia para mostrar que uma afirmação não é um teorema válido dentro de um sistema formal.
Como digitar
- Windows
- Win+. (Painel de Emojis) e pesquise pelo Unicode U+22AC
- macOS
- Control+Command+Space e busque por 'does not prove'
- Linux
- Ctrl+Shift+U seguido de 22ac e Enter
- HTML
- ⊬ ou ⊬
Em programacao
Na programação matemática e na tipografia científica, o ⊬ é frequentemente renderizado usando o comando LaTeX `\nvdash`. Ele também aparece em documentações técnicas de assistentes de prova, como Coq ou Agda, para ilustrar que uma derivação lógica é impossível no estado atual.
Tags
não prova
negação
lógica
matemática