fsymbols
Chargement des symboles…
››
∨

Ou logique

Ou logique

41/256

∨ est le signe du OU logique, appelé aussi « vé », et signifie ou inclusif : P ∨ Q est vrai quand P, Q ou les deux sont vrais. Il relie des propositions en logique, dans les démonstrations et en informatique.

Symbole textuel

Que signifie ∨

Il est issu de la logique formelle du début du XXe siècle.

Leibniz a employé une marque proche d’une lettre pour « ou » dans un manuscrit de 1679, mais une étude historique de 2023 ne rattache le signe actuel ni à elle ni simplement au latin vel (« ou »). Bertrand Russell, travaillant avec Alfred North Whitehead en 1902–1903, utilisait une notation apparentée pour distinguer le « ou » entre propositions de la réunion d’ensembles ; ∨ est apparu imprimé pour la disjonction en 1906.

Fait partie de la collection

Ne pas le confondre avec

1

Collections avec ∨

1

Taper ou trouver ∨

Aussi appelé
vé · disjonction · vel
Recherchez-le comme
vee · symbole ou · opérateur ou · ou inclusif · \lor
Apparaît dans
Tout champ acceptant du texte · sa forme dépend de la police
Windows (Word)
⎇Alt+XSaisissez 2228, 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 or ».
Linux
⎈Ctrl+⇧Shift+USaisissez 2228, puis Entrée ou Espace.
HTML
∨
CSS
\2228
LaTeX
\lor ou \vee en mode mathématique.
HTML
L’entité ∨.
Codes et encodagePoints de code : 1
HTML décimal
∨
HTML hexadécimal
∨
Contenu CSS
content: "\2228";
Chaque échappement se termine à la barre oblique inverse suivante ; ajoutez une espace avant un chiffre hexadécimal littéral.
Encodage URL
%E2%88%A8
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