Disjunção lógica em LaTeX (\lor)

Onde é usado

Ou lógico (disjunção), verdadeiro quando pelo menos um dos operandos é verdadeiro.

\lor é um sinônimo de \vee, usado em lógica proposicional e de predicados: p \lor \neg p é a lei do terceiro excluído. O LaTeX o espaça como operador binário, então p \lor q não precisa de comandos de espaçamento manuais. Para muitas disjunções, \bigvee_{i} p_i é o operador grande. O ou exclusivo é outro símbolo: \oplus ou \veebar. A álgebra booleana e o projeto de circuitos costumam escrever o OU como +. Prefira \lor em fórmulas lógicas e \vee em teoria dos reticulados, para um código-fonte legível, embora os dois sejam impressos iguais.

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 Or: $\lor$

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

Símbolos relacionados

• Seta dupla para a direita\Rightarrow
• Conjunção lógica\land
• Seta dupla para a esquerda\Leftarrow
• Negação\neg
• Seta dupla para a esquerda e para a direita\Leftrightarrow
• Quantificador existencial negado\nexists

Perguntas frequentes

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

Digite \lor no modo matemático, por exemplo $p \lor \neg p \equiv \top$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \lor?

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

Posso usar \lor 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 $\lor$. Se você só precisa do glifo no texto, cole o caractere Unicode ∨ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).