⊥
Cet article est une ébauche concernant la logique et les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
| Code | U+22A5 ou 27C2 |
|---|---|
| Nom | Taquet vers le haut |
| Bloc |
Symboles mathématiques (U+2200 à U+22FF) |
| LaTeX |
\bot (ex : ) |
|---|
| Symétrie | axiale |
|---|---|
| Trait | rectiligne |
En logique et en informatique, le taquet vers le haut, base, ou dessous[1],[2], aussi appelé antitruc ou faux, noté ⊥, désigne la contradiction, c'est-à-dire la formule constante représentant le faux[3]. Par exemple, la formule (P ∧ ¬P) ⇒ ⊥ signifie que la conjonction d'une proposition P et de son contraire non-P entraîne une contradiction. La formule se lit « P et non-P entraîne le faux ».
Ce symbole peut aussi désigner le type vide en théorie des types, ou encore le plus petit élément d'un ensemble ordonné.
L'usage des dénominations anglaises UP TACK, base, bottom (bot en abrégé) est également courant dans les pays francophones.
Le glyphe de ⊥ est identique à celui de la relation mathématiques de perpendicularité en géométrie ou plus généralement d'orthogonalité en algèbre linéaire.
Voir aussi
Notes et références
- [PDF] « Opérateurs mathématiques ».
- [PDF] (en) « Mathematical Operators ».
- Voir son utilisation en calcul des propositions.
