- ⊥
-
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énomination 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
Wikimedia Foundation. 2010.
