⋁
Disyunción n-aria
- Unicode
- U+22C1
- Categoría
- Matemáticas
- HTML Entity
- ⋁
- CSS
- \22C1
El símbolo ⋁ (disyunción lógica n-aria) es un operador matemático utilizado en lógica proposicional y teoría de conjuntos para representar la operación "O" extendida a múltiples operandos. A diferencia de su versión estándar más pequeña (∨), este carácter de mayor tamaño se emplea para agrupar visualmente una serie completa de proposiciones en ecuaciones complejas. Su uso principal se centra en textos académicos, manuales de informática teórica y expresiones matemáticas avanzadas.
Cómo escribir
- Windows
- En Word: escribe 22C1 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 busca "n-ary logical or"
- Linux
- Ctrl+Shift+U luego 22C1
- HTML
- ⋁ o ⋁
En programación
En matemáticas discretas e informática teórica, ⋁ se usa para aplicar la disyunción lógica iterativa sobre un conjunto de declaraciones. En LaTeX, este símbolo se genera fácilmente utilizando el comando `\bigvee`.
Etiquetas
disyunción grande
o grande
lógica
matemáticas