Conjunção lógica em LaTeX (\land)

Onde é usado

E lógico (conjunção), verdadeiro exatamente quando os dois operandos são verdadeiros.

\land é um sinônimo de \wedge, escolhido pela legibilidade em lógica, como em p \land q ou \forall x\, (P(x) \land Q(x)). Como o LaTeX o classifica como operador binário, o espaço em torno de p \land q é colocado automaticamente; não acrescente \, à mão. Para a conjunção de muitas fórmulas, use o operador grande \bigwedge_{i=1}^{n} p_i. Em álgebra booleana, o E costuma ser escrito como multiplicação, pq ou p \cdot q. Use \land em lógica e \wedge em álgebra exterior para que o código-fonte fique claro, embora os dois sejam impressos da mesma forma.

Também aparece em: Álgebra Booleana, Ciência da Computação

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

\documentclass{article}
\begin{document}
Logical And: $\land$

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

Símbolos relacionados

• Disjunção lógica\lor
• Negação\neg
• Seta dupla para a direita\Rightarrow
• Quantificador existencial negado\nexists
• Seta dupla para a esquerda\Leftarrow
• Quantificador existencial\exists

Perguntas frequentes

Como escrever Conjunção lógica em LaTeX?

Digite \land no modo matemático, por exemplo $(p \land q) \rightarrow p$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \land?

Nenhum. \land faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \land no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\land$. Se você só precisa do glifo no texto, cole o caractere Unicode ∧ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).