Congiunzione logica in LaTeX (\land)

Dove si usa

AND logico (congiunzione), vero esattamente quando entrambi gli operandi sono veri.

\land è un alias di \wedge, scelto per leggibilità in logica, come in p \land q o \forall x\, (P(x) \land Q(x)). Poiché LaTeX lo classifica come operatore binario, lo spazio attorno a p \land q viene inserito automaticamente: non aggiungete \, a mano. Per la congiunzione di molte formule usate l'operatore grande \bigwedge_{i=1}^{n} p_i. In algebra di Boole l'AND si scrive spesso come prodotto, pq o p \cdot q. Usate \land in logica e \wedge in algebra esterna, così che il sorgente sia chiaro, anche se stampano lo stesso simbolo.

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 And: $\land$

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

Simboli correlati

• Disgiunzione logica\lor
• Negazione\neg
• Freccia doppia a destra\Rightarrow
• Quantificatore esistenziale negato\nexists
• Freccia doppia a sinistra\Leftarrow
• Quantificatore esistenziale\exists

Domande frequenti

Come si scrive Congiunzione logica in LaTeX?

Scrivi \land in modalità matematica, per esempio $(p \land q) \rightarrow p$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \land?

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

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

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