Disjunktion (logisches Oder) in LaTeX (\lor)

Verwendung

Logisches ODER (Disjunktion), wahr, wenn mindestens ein Operand wahr ist.

\lor ist ein Alias für \vee und wird in Aussagen- und Prädikatenlogik verwendet: p \lor \neg p ist der Satz vom ausgeschlossenen Dritten. LaTeX setzt es mit den Abständen eines binären Operators, p \lor q braucht also keine manuellen Abstandsbefehle. Für viele Disjunktionsglieder gibt es den großen Operator \bigvee_{i} p_i. Das ausschließende Oder ist ein anderes Symbol: \oplus oder \veebar. In der Booleschen Algebra und im Schaltungsentwurf wird ODER oft als + geschrieben. Bevorzugen Sie \lor in logischen Formeln und \vee in der Verbandstheorie, damit der Quelltext lesbar bleibt, auch wenn beide gleich aussehen.

Auch aufgeführt unter: Boolesche Algebra, Informatik

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

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

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

Verwandte Symbole

• Doppelpfeil nach rechts\Rightarrow
• Konjunktion (logisches Und)\land
• Doppelpfeil nach links\Leftarrow
• Negation\neg
• Doppelpfeil nach links und rechts\Leftrightarrow
• Negierter Existenzquantor\nexists

Häufige Fragen

Wie schreibe ich Disjunktion (logisches Oder) in LaTeX?

Schreiben Sie \lor im Mathematikmodus, zum Beispiel $p \lor \neg p \equiv \top$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \lor?

Keines. \lor gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \lor im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\lor$. Wenn Sie nur das Zeichen im Text brauchen, fügen Sie stattdessen das Unicode-Zeichen ∨ ein (mit XeLaTeX oder LuaLaTeX und einer Schrift, die es enthält).