Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
image illustrant les mathématiques
Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Unicode
Code U+22A5 ou 27C2
Codage
LaTeX \bot ou \perp

En mathématiques, l'opérateur taquet vers le haut, base, ou dessous[1], aussi appelé antitruc, noté , désigne la contradiction en logique. Par exemple, la formule ∀x, P(x) ∧ ¬P(x) ⇒ ⊥ signifie que pour tout élément x, dire qu'on vérifie sur x le prédicat P et son contraire non-P entraîne une contradiction. La formule se lit « pour tout x, P de x et P de non-x entraîne base ».


L'usage des dénominations anglaises UP TACK, base, bottom est également courante dans les pays francophones.

Le glyphe de l'opérateur est identique à celui de la perpendicularité.

Notes et références[modifier | modifier le code]

  1. [PDF] « Opérateurs mathématiques », unicode.org.