⊬
Operador matemático 169
- Unicode
- U+22AC
- Categoria
- Matematicas
- HTML Entity
- ⊬
- CSS
- \22AC
El símbolo ⊬, conocido en lógica formal como «no demuestra» o «trinquete negado», indica que una proposición no puede probarse a partir de un conjunto específico de axiomas. Forma parte de los operadores matemáticos de Unicode y se utiliza habitualmente en la teoría de la demostración, las matemáticas avanzadas y las ciencias de la computación. Aunque rara vez lo verás en redes sociales, es una herramienta visual clave para establecer la invalidez de un argumento en textos académicos.
Como escribir
- Windows
- Escribir 22AC seguido de Alt+X (en Word) o usar Win+. y buscar en la pestaña de símbolos matemáticos
- macOS
- Control+Command+Space para abrir el visor de caracteres y buscar "does not prove"
- Linux
- Ctrl+Shift+U, seguido de 22ac y Enter
- HTML
- ⊬ o ⊬
En programacion
En entornos de redacción técnica e investigación como LaTeX, este operador lógico se genera mediante el comando \nvdash para estructurar pruebas matemáticas y documentar lenguajes de programación.
Etiquetas
no demuestra
no derivable
lógica
matemáticas