Grande conjonction en LaTeX (\bigwedge)

Où il est utilisé

Grand opérateur en coin pour la conjonction de nombreux énoncés ou pour une puissance extérieure.

En logique, \bigwedge_{i=1}^{n} \varphi_i est la conjonction de n formules, la forme n-aire de \wedge (aussi \land) ; la forme normale conjonctive est une \bigwedge de clauses. En théorie des treillis, il désigne la borne inférieure (meet) d’un ensemble, et en géométrie différentielle \bigwedge^k V est la k-ième puissance extérieure d’un espace vectoriel. Les bornes se comportent comme celles de \sum : empilées en mode hors texte, à côté du signe en ligne. Ne le confondez pas avec \Lambda, la majuscule grecque, que certains auteurs utilisent en taille normale pour les puissances extérieures. Son opérateur dual est \bigvee.

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Big Wedge: $\bigwedge$

\[ \bigwedge_{i=1}^{n} (x_i \lor \neg y_i) \]
\end{document}

Symboles associés

• Grande disjonction\bigvee
• Grande intersection indexée\bigcap_{i=1}^{n}
• Grande somme directe\bigoplus
• Grande intersection\bigcap
• Grand produit tensoriel\bigotimes
• Grande union indexée\bigcup_{i=1}^{n}

Questions fréquentes

Comment écrire Grande conjonction en LaTeX ?

Tapez \bigwedge en mode mathématique, par exemple $\bigwedge_{i=1}^{n} (x_i \lor \neg y_i)$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \bigwedge ?

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

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