∧
Y lógico
- Unicode
- U+2227
- Categoría
- Matemáticas
- HTML Entity
- ∧
- CSS
- \2227
El símbolo ∧ representa la conjunción "Y" en la lógica proposicional, indicando que una declaración es verdadera únicamente si todas sus condiciones lo son. Pertenece al bloque de operadores matemáticos de Unicode y es fundamental en el álgebra de Boole, el diseño de algoritmos y la escritura formal. Aunque visualmente se confunde a menudo con el acento circunflejo (^), este carácter tiene un ángulo más amplio y está diseñado específicamente para encajar en fórmulas matemáticas.
Cómo escribir
- Windows
- En Word: escribe 2227 y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- macOS
- Control + Command + Space y buscar "logical and"
- Linux
- Ctrl + Shift + U y teclear 2227
- HTML
- ∧ o ∧
En programación
En el código fuente suele ser sustituido por operadores como `&&` o `and`, pero el símbolo ∧ se utiliza extensamente en pseudocódigo, sistemas de verificación formal y lenguajes de programación matemáticos como APL o Agda.
Etiquetas
conjunción
y
lógica
matemáticas
booleano