Disjonction logique en LaTeX (\lor)

Où il est utilisé

OU logique (disjonction), vrai lorsqu'au moins un des opérandes est vrai.

\lor est un alias de \vee, utilisé en logique propositionnelle et en logique des prédicats : p \lor \neg p est le principe du tiers exclu. LaTeX l'espace comme un opérateur binaire, donc p \lor q ne demande aucune commande d'espacement manuelle. Pour un grand nombre de disjoints, \bigvee_{i} p_i est le grand opérateur. Le OU exclusif est un autre symbole : \oplus ou \veebar. En algèbre de Boole et en conception de circuits, le OU s'écrit souvent +. Préférez \lor dans les formules logiques et \vee en théorie des treillis pour un source lisible, même si les deux ont le même rendu.

Également dans: Algèbre booléenne, Informatique

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Double flèche vers la droite\Rightarrow
• Conjonction logique\land
• Double flèche vers la gauche\Leftarrow
• Négation\neg
• Double flèche gauche-droite\Leftrightarrow
• Quantificateur existentiel nié\nexists

Questions fréquentes

Comment écrire Disjonction logique en LaTeX ?

Tapez \lor en mode mathématique, par exemple $p \lor \neg p \equiv \top$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \lor ?

Aucun. \lor fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \lor en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\lor$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ∨ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).