⊭

Operador matemático 170

Unicode
U+22AD
Categoria
Matematica
HTML Entity
⊭
CSS
\22AD
O símbolo ⊭ (não verdadeiro ou não implica) é um operador matemático usado principalmente na lógica formal e na teoria dos modelos. Ele atua como a negação direta do símbolo de catraca dupla (⊨), indicando que uma afirmação não é consequência lógica de um conjunto de premissas ou que uma estrutura não satisfaz uma fórmula. Você o encontrará com frequência em artigos acadêmicos, teses de ciência da computação e demonstrações matemáticas.

Como digitar

Windows
Digite 22AD e pressione Alt+X (no Microsoft Word) ou busque no Mapa de Caracteres.
macOS
Control + Command + Espaço para abrir o visualizador de caracteres e pesquise por "not true".
Linux
Ctrl + Shift + U, digite 22ad e pressione Enter.
HTML
⊭ ou ⊭

Em programacao

Em ambientes acadêmicos e tipografia matemática (como LaTeX), o símbolo é gerado usando o comando \nvDash. Ele é utilizado no código-fonte de artigos técnicos e softwares de verificação formal para demonstrar a falha de uma dedução lógica.

Ler artigo completo

Tags

não verdadeiro falso negaçã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