Disyunción lógica en LaTeX (\lor)

Dónde se usa

O lógico (disyunción), verdadero cuando al menos uno de los operandos es verdadero.

\lor es un alias de \vee que se usa en lógica proposicional y de predicados: p \lor \neg p es el principio del tercero excluido. LaTeX lo espacia como operador binario, así que p \lor q no necesita comandos de espaciado manuales. Para muchos disyuntos, \bigvee_{i} p_i es el operador grande. La disyunción exclusiva es otro símbolo: \oplus o \veebar. En álgebra de Boole y diseño de circuitos el O se escribe a menudo como +. Prefiere \lor en fórmulas lógicas y \vee en teoría de retículos para que el código sea legible, aunque ambos se ven igual.

También aparece en: Álgebra Booleana, Ciencias de la Computación

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\begin{document}
Logical Or: $\lor$

\[ p \lor \neg p \equiv \top \]
\end{document}

Símbolos relacionados

• Flecha doble a la derecha\Rightarrow
• Conjunción lógica\land
• Flecha doble a la izquierda\Leftarrow
• Negación\neg
• Flecha doble bidireccional\Leftrightarrow
• Cuantificador existencial negado\nexists

Preguntas frecuentes

¿Cómo escribo Disyunción lógica en LaTeX?

Escribe \lor en modo matemático, por ejemplo $p \lor \neg p \equiv \top$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \lor?

Ninguno. \lor forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \lor en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\lor$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ∨ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).