⊬
No demuestra
- Unicode
- U+22AC
- Categoría
- Matemáticas
- 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.
Cómo escribir
- Windows
- En Word: escribe 22AC y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- 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 programación
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