O que significa ⊭
O lado esquerdo não garante o direito. No símbolo de não verdadeiro ⊭, uma valoração atribui valores de verdade. Em Γ ⊭ φ, alguma valoração torna Γ verdadeiro e φ falso. Essa notação de não implicação expressa uma relação entre fórmulas na metalinguagem — a linguagem usada para descrevê-las — e não um conectivo dentro delas.
O duplo traço cortado tem uma história ligada ao traço de asserção de Frege, uma marca para afirmar uma proposição. A lógica posterior usou o turnstile duplo para consequência semântica ou satisfação por um modelo; cortá-lo nega essa relação.
O que ⊭ exclui?
Ele nega uma garantia, não toda conclusão possível. P ⊭ Q significa que alguma interpretação torna P verdadeiro e Q falso. Não significa que Q seja sempre falso nem que P Q. Sem premissas, ⊭ φ indica que φ não é uma tautologia: alguma valoração a torna falsa.
A teoria dos modelos também usa o turnstile duplo para satisfação: A Γ significa que a estrutura A satisfaz as fórmulas de Γ; A ⊭ Γ nega essa satisfação.
Como digito ⊭?
Use \nvDash numa configuração LaTeX que o defina. O comando disponível depende do pacote de símbolos e do mecanismo.
Um símbolo da lógica formal; numa conversa comum, sem explicação, parece notação especializada.
Ele nega uma implicação semântica; não significa simplesmente «falso».
O que significa quando alguém envia para você
Interpretações: 4As premissas de Γ não implicam φ semanticamente.
Não confunda com
2
Caracteres relacionados
1
Ideias de combinações
3Perguntas frequentes
3⊭ significa que a conclusão é falsa?
Não. Significa que pelo menos uma interpretação torna as premissas verdadeiras e a conclusão falsa; a conclusão ainda pode ser verdadeira noutra interpretação.
Por que este símbolo matemático aparece como um quadrado?
A fonte selecionada pode não ter um glifo para ⊭, e o aplicativo mostra um quadrado de caractere ausente. Uma fonte com símbolos matemáticos pode exibi-lo.
⊭ é igual a ?
Não. ⊭ nega a implicação semântica entre interpretações; nega a derivabilidade num sistema formal de provas.
Mais símbolos semelhantes
10
Como digitar ou encontrar ⊭
- Também chamado
- nvDash · não implica semanticamente · não é modelo de
- Pesquise como
- não implica · não decorre · turnstile cortado · turnstile duplo · consequência semântica · notação lógica
- Pode ser usado em
- Qualquer campo de texto · a forma depende da fonte
⊭\22AD\nvDash com um pacote que defina símbolos de turnstile duplo negados.Códigos e codificaçãoPontos de código: 1
Um símbolo visível pode conter vários pontos de código. JS .length conta unidades UTF-16; UTF-8 conta bytes.