Conjonction logique en LaTeX (\land)

Où il est utilisé

ET logique (conjonction), vrai exactement lorsque les deux opérandes sont vrais.

\land est un alias de \wedge, choisi pour la lisibilité en logique, comme dans p \land q ou \forall x\, (P(x) \land Q(x)). Comme LaTeX le classe parmi les opérateurs binaires, l'espacement autour de p \land q est automatique ; n'ajoutez pas \, à la main. Pour la conjonction d'un grand nombre de formules, utilisez le grand opérateur \bigwedge_{i=1}^{n} p_i. En algèbre de Boole, le ET s'écrit souvent comme une multiplication, pq ou p \cdot q. Employez \land en logique et \wedge en algèbre extérieure pour que le source reste clair, même si les deux s'impriment de la même façon.

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

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

Symboles associés

• Disjonction logique\lor
• Négation\neg
• Double flèche vers la droite\Rightarrow
• Quantificateur existentiel nié\nexists
• Double flèche vers la gauche\Leftarrow
• Quantificateur existentiel\exists

Questions fréquentes

Comment écrire Conjonction logique en LaTeX ?

Tapez \land en mode mathématique, par exemple $(p \land q) \rightarrow p$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \land ?

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

Peut-on utiliser \land 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 $\land$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ∧ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).