bn:01847273n
Noun Concept
Categories: Connecteur logique, Caractère Unicode, Symbole mathématique
FR
FR
En logique et en informatique, le taquet vers le haut, base, ou dessous,, aussi appelé antitruc ou faux, noté ⊥, désigne la contradiction, c'est-à-dire la formule constante représentant le faux. Wikipedia
Definitions
Relations
Sources
FR
En logique et en informatique, le taquet vers le haut, base, ou dessous,, aussi appelé antitruc ou faux, noté ⊥, désigne la contradiction, c'est-à-dire la formule constante représentant le faux. Wikipedia
Wikipedia
FR
Wikidata
FR