O que significa ⊬
Não: trata da dedutibilidade, não da verdade.
Em P ⊬ Q, P representa as premissas e Q, a conclusão; o sinal nega a consequência sintática. Já P Q significa que algum modelo (uma interpretação matemática) torna P verdadeiro e Q falso.
A Begriffsschrift de Gottlob Frege, publicada em 1879, era uma notação bidimensional para a lógica e contém o antecessor do sinal de dedução. Seu sentido mudou com o tempo: em muitos sistemas de prova, indica dedutibilidade e ⊬ a nega.
Técnico, formal e neutro.
Por si só, não afirma que Q seja falso.
Não confunda com
1
Caracteres relacionados
1
Mais símbolos semelhantes
11
Como digitar ou encontrar ⊬
- Pesquise como
- nvdash · não demonstrável · símbolo de prova · consequência sintática
- Pode ser usado em
- Qualquer campo de texto · a forma depende da fonte
Windows (Word)
Windows
HTML
⊬CSS
\22ACLaTeX
No modo matemático do LaTeX, use
\nvdash para o sinal de dedução barrado.Códigos e codificaçãoPontos de código: 1
HTML decimal
⊬
HTML hexadecimal
⊬
Conteúdo CSS
content: "\22AC";
Cada escape termina na próxima barra invertida; adicione um espaço antes de um dígito hexadecimal literal.
Codificação URL
%E2%8A%AC
1
Na tela
1
Pontos de código
1
JS .length
3
Bytes UTF-8
Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.