⊢
Operador matemático 159
- Unicode
- U+22A2
- Categoria
- Matematica
- HTML Entity
- ⊢
- CSS
- \22A2
O símbolo ⊢, conhecido em matemática e lógica como "catraca simples" (do inglês *turnstile* ou *right tack*), representa o conceito de dedução ou consequência sintática. Ele é usado para indicar que uma afirmação pode ser provada a partir de um conjunto de premissas, sendo lido frequentemente como "produz", "deduz" ou "prova que". Embora seja estritamente técnico, estudantes e profissionais da área de exatas o utilizam com frequência em documentações acadêmicas e demonstrações formais.
Como digitar
- Windows
- Alt+8866 ou Win+. e pesquise no painel de símbolos
- macOS
- Control+Command+Space e busque por 'right tack'
- Linux
- Ctrl+Shift+U 22A2
- HTML
- ⊢ ou ⊢
Em programacao
Na ciência da computação e no desenvolvimento de linguagens, o ⊢ é muito utilizado para formalizar sistemas de tipos e descrever a semântica operacional. Ele aparece na documentação técnica para demonstrar que uma expressão ou código é válido e obedece a um conjunto de regras lógicas do sistema.
Tags
prova
dedução
tese
lógica
matemática