Disgiunzione logica in LaTeX (\lor)

Dove si usa

OR logico (disgiunzione), vero quando almeno uno degli operandi è vero.

\lor è un alias di \vee, usato nella logica proposizionale e dei predicati: p \lor \neg p è il principio del terzo escluso. LaTeX lo spazia come operatore binario, quindi p \lor q non richiede comandi di spaziatura manuali. Per molti disgiunti, l'operatore grande è \bigvee_{i} p_i. L'OR esclusivo è un simbolo diverso: \oplus o \veebar. L'algebra di Boole e la progettazione di circuiti scrivono spesso l'OR come +. Preferite \lor nelle formule logiche e \vee nella teoria dei reticoli per un sorgente leggibile, anche se il risultato stampato è identico.

Compare anche in: Algebra booleana, Informatica

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Freccia doppia a destra\Rightarrow
• Congiunzione logica\land
• Freccia doppia a sinistra\Leftarrow
• Negazione\neg
• Freccia doppia bidirezionale\Leftrightarrow
• Quantificatore esistenziale negato\nexists

Domande frequenti

Come si scrive Disgiunzione logica in LaTeX?

Scrivi \lor in modalità matematica, per esempio $p \lor \neg p \equiv \top$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \lor?

Nessuno. \lor fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \lor in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\lor$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ∨ (con XeLaTeX o LuaLaTeX e un font che lo contenga).