Conjunción lógica en LaTeX (\land)

Dónde se usa

Y lógico (conjunción), verdadero exactamente cuando ambos operandos son verdaderos.

\land es un alias de \wedge, elegido por legibilidad en lógica, como en p \land q o \forall x\, (P(x) \land Q(x)). Como LaTeX lo clasifica como operador binario, el espacio alrededor de p \land q se ajusta automáticamente; no añadas \, a mano. Para la conjunción de muchas fórmulas, usa el operador grande \bigwedge_{i=1}^{n} p_i. En álgebra de Boole, el Y suele escribirse como una multiplicación, pq o p \cdot q. Usa \land en lógica y \wedge en álgebra exterior para que el código fuente se lea con claridad, aunque ambos se imprimen 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 And: $\land$

\[ (p \land q) \rightarrow p \]
\end{document}

Símbolos relacionados

• Disyunción lógica\lor
• Negación\neg
• Flecha doble a la derecha\Rightarrow
• Cuantificador existencial negado\nexists
• Flecha doble a la izquierda\Leftarrow
• Cuantificador existencial\exists

Preguntas frecuentes

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

Escribe \land en modo matemático, por ejemplo $(p \land q) \rightarrow p$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \land?

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

¿Puedo usar \land 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 $\land$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ∧ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).