¬

Sinal de negação

Unicode
U+00AC
Categoria
Matematica
HTML Entity
¬
CSS
\00AC
O símbolo ¬ (sinal de negação) é utilizado na matemática e na lógica proposicional para indicar a inversão de uma afirmação, significando o equivalente lógico de "não". Quando colocado antes de uma proposição, como em "¬P", ele inverte seu valor de verdadeiro para falso, ou vice-versa. Embora seja raro no dia a dia das redes sociais, é essencial em textos acadêmicos, engenharia e estudos de filosofia para expressar negação direta.

Como digitar

Windows
Alt+0172
macOS
Option+L
Linux
Compose + - + ,
HTML
¬

Em programacao

Na ciência da computação teórica, ¬ representa o operador lógico NOT (negação booleana). Linguagens de programação práticas geralmente o substituem por "!" (como em C e Java) ou "not" (em Python), mas o ¬ continua popular em provas formais de algoritmos e linguagens específicas como APL.

Tags

não negativo lógica operador matemática

Simbolos relacionados