⊢
Operador matemático 159
- Unicode
- U+22A2
- Categoria
- Matematicas
- HTML Entity
- ⊢
- CSS
- \22A2
El símbolo ⊢, conocido como "torniquete lógico" o símbolo de deducción en matemáticas, representa la afirmación o derivabilidad. Se utiliza habitualmente para indicar que una proposición se puede demostrar a partir de un conjunto específico de axiomas o premisas previas. Aunque es un carácter eminentemente académico, resulta fundamental en textos sobre filosofía, lógica proposicional e informática teórica para expresar consecuencias sintácticas.
Como escribir
- Windows
- Alt + 8866
- macOS
- Control + Command + Space y buscar "right tack"
- Linux
- Ctrl+Shift+U 22A2
- HTML
- ⊢
En programacion
En informática teórica y diseño de lenguajes de programación, se emplea en las reglas de los sistemas de tipado para indicar que una expresión tiene un tipo válido bajo un contexto determinado (por ejemplo, Γ ⊢ x : T).
Etiquetas
demuestra
tesis
lógica
turnstile
matemáticas