fsymbols
Chargement des symboles…
››
∧

Et logique

Et logique

40/256

∧ est le symbole du ET logique, souvent appelé « wedge » ou chevron. Une affirmation comme p ∧ q n'est vraie que si ses deux parties sont vraies. On le voit surtout en logique formelle, en mathématiques et dans l'enseignement de l'informatique. Les programmeurs écrivent plutôt && ou and. On attribue à Arend Heyting, dans ses travaux de 1930 sur la logique intuitionniste, le premier emploi imprimé de ce signe pour la conjonction.

Symbole textuel

Que signifie ∧

Les deux affirmations doivent être vraies. Dans p ∧ q, l'ensemble n'est vrai que si p et q sont toutes deux vraies. Dans tous les autres cas, il est faux. Les logiciens appellent cette opération la conjonction.

Le signe a été imprimé pour la première fois pour la conjonction en 1930, dans un article où le mathématicien néerlandais Arend Heyting formalisait la logique intuitionniste. La logique intuitionniste est une forme de logique qui n'accepte une affirmation que si l'on en possède une démonstration. Les logiciens antérieurs notaient la conjonction autrement, par exemple avec un point ou &. ∧ est une notation qui s'est imposée par la suite, sans remplacer les autres partout.

Aujourd'hui, les manuels de logique et les cours d'informatique utilisent ∧ dans les tables de vérité et les formules. Les langages de programmation emploient surtout && ou and, faciles à taper, et chaque langage fixe ses propres règles d'évaluation.

Fait partie des collections

Ne pas le confondre avec

3

Idées de combinaisons

2
Les deux propositions p et q sont vraies.
p et q ne sont pas vraies toutes les deux.

Questions fréquentes

2

∧ est-il identique à l'accent circonflexe ?

Non. Ce sont des caractères différents. sert de solution de repli quand on ne peut pas taper ∧, et dans de nombreux langages de programmation, signifie OU exclusif (XOR), pas ET.

Que donne \land en LaTeX ?

Le même symbole. \land et \wedge produisent tous deux ∧ en mode mathématique.

Collections avec ∧

1

Taper ou trouver ∧

Aussi appelé
wedge · conjonction · opérateur et
Recherchez-le comme
et booléen · symbole et · table de vérité · borne inférieure
Apparaît dans
Tout champ acceptant du texte · sa forme dépend de la police
Windows (Word)
⎇Alt+XSaisissez 2227, puis AltX pour obtenir ∧.
Windows
⊞Win+RLancez charmap pour la table complète ou utilisez l’onglet Ω du sélecteur d’emojis (Win .).
macOS
⌃Control+⌘Command+␣SpaceOuvrez le visualiseur de caractères et cherchez « logical and ».
Linux
⎈Ctrl+⇧Shift+USaisissez 2227, puis Entrée ou Espace.
HTML
∧
CSS
\2227
Linux
Appuyez sur CtrlMajU, tapez 2227, puis appuyez sur Entrée.
Windows Word
Tapez 2227, puis appuyez sur AltX.
Mac
Ouvrez le Visualiseur de caractères avec ContrôleCommandeEspace et cherchez logical and.
LaTeX
Tapez \wedge ou \land en mode mathématique.
Codes et encodagePoints de code : 1
HTML décimal
∧
HTML hexadécimal
∧
Contenu CSS
content: "\2227";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%88%A7
1
À l’écran
1
Points de code
1
JS .length
3
Octets UTF-8

Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.

Groupes de ce symbole

1

Mathématiques et nombres1 835 symboles