Voir la source de ⊥

{{ébauche|logique|mathématiques}}
{{Infobox Caractère Unicode
| titre=⊥
| image=
| code=22A5 ou 27C2
| nom=Taquet vers le haut
| bloc=[[Table des caractères Unicode/U2200|Symboles mathématiques]]<br /><small>(U+2200 à U+22FF)</small>
| voir=
| latex=\bot  (ex : <math>p \to \bot</math>)<br />
ou \perp  (ex : <math>A \perp B</math>)
| symétrie=axiale
| trait=rectiligne
}}
En [[logique]] et en [[informatique]], le '''taquet vers le haut''', '''base''', ou '''dessous'''<ref>{{Pdf}} {{Lien web|titre=Opérateurs mathématiques|url=http://hapax.qc.ca/Tableaux-10.0/U2200.pdf#page=6}}.</ref>{{,}}<ref>{{Pdf}} {{Lien web|langue=en|titre=Mathematical Operators|url=https://www.unicode.org/charts/PDF/U2200.pdf#page=6}}.</ref>, aussi appelé '''antitruc''' ou '''faux''', noté '''⊥''', désigne la [[contradiction]], c'est-à-dire la [[Formule logique|formule]] constante représentant le ''faux''<ref>Voir son utilisation en [[Calcul des propositions#Présentation|calcul des propositions]].</ref>. 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)|relation]] [[mathématiques]] de [[perpendicularité]] en [[géométrie]] ou plus généralement d'[[orthogonalité]] en [[algèbre linéaire]].
== Voir aussi ==

* [[Liste de symboles logiques|Liste des symboles logiques]]
* [[Table des symboles mathématiques]]

== Notes et références ==

<references/>

{{Portail|mathématiques|logique|informatique théorique}}

[[Catégorie:Caractère Unicode]]
[[Catégorie:Connecteur logique]]
[[Catégorie:Symbole mathématique]]