Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques, l'opérateur taquet vers le haut, base, ou dessous[1], 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. http://www.unicode.org/fr/charts/PDF/U2200.pdf