Qué significa ⊮
Niega el forzamiento; ⊬ niega una demostración.
Un modelo de Kripke —un marco para comprobar fórmulas en estados o mundos posibles— establece las condiciones para que cada proposición quede forzada. ⊮ indica que esas condiciones no hacen verdadera esta proposición en este estado.
Es una afirmación sobre el significado dentro de un modelo; por sí sola, no dice si la proposición puede demostrarse a partir de unas premisas.
No lo confundas con
1Cómo escribir ⊮
Windows (Word)
Alt+XEscribe 22AE y pulsa Alt+X para obtener ⊮.
Windows
Win+REjecuta charmap o abre la pestaña de símbolos Ω con Win + .
macOS
Control+Command+SpaceAbre el visor de caracteres y busca el símbolo.
Linux
Ctrl+Shift+UDespués escribe 22ae y pulsa Enter o Espacio.
HTML
⊮CSS
\22AELaTeX
En modo matemático, escribe `\nVdash`; la configuración de símbolos de LaTeX debe definir el comando e incluir el glifo.
Códigos y codificaciónPuntos de código: 1
HTML decimal
⊮
HTML hexadecimal
⊮
Contenido CSS
content: "\22AE";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%8A%AE
1
En pantalla
1
Puntos de código
1
JS .length
3
Bytes UTF-8
Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.