| Property |
Value |
| dbo:abstract
|
- En logique et en informatique, le taquet vers le haut, base, ou dessous, aussi appelé antitruc, noté ⊥, désigne la contradiction, c'est-à-dire la formule constante représentant le faux. 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 non-P de x entraîne base ». Ce symbole peut aussi désigner le type vide en théorie des types. L'usage des dénominations anglaises UP TACK, base, bottom (bot en abrégé) est également courante dans les pays francophones. Le glyphe de ⊥ est identique à celui de la relation mathématiques de perpendicularité en géométrie ou plus généralement d'orthogonalité en algèbre linéaire. (fr)
- En logique et en informatique, le taquet vers le haut, base, ou dessous, aussi appelé antitruc, noté ⊥, désigne la contradiction, c'est-à-dire la formule constante représentant le faux. 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 non-P de x entraîne base ». Ce symbole peut aussi désigner le type vide en théorie des types. L'usage des dénominations anglaises UP TACK, base, bottom (bot en abrégé) est également courante dans les pays francophones. Le glyphe de ⊥ est identique à celui de la relation mathématiques de perpendicularité en géométrie ou plus généralement d'orthogonalité en algèbre linéaire. (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2012 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:bloc
| |
| prop-fr:code
| |
| prop-fr:latex
|
- \bot (fr)
- ou \perp (fr)
- \bot (fr)
- ou \perp (fr)
|
| prop-fr:nom
|
- Taquet vers le haut (fr)
- Taquet vers le haut (fr)
|
| prop-fr:symétrie
| |
| prop-fr:titre
| |
| prop-fr:trait
|
- rectiligne (fr)
- rectiligne (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En logique et en informatique, le taquet vers le haut, base, ou dessous, aussi appelé antitruc, noté ⊥, désigne la contradiction, c'est-à-dire la formule constante représentant le faux. 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 non-P de x entraîne base ». Ce symbole peut aussi désigner le type vide en théorie des types. (fr)
- En logique et en informatique, le taquet vers le haut, base, ou dessous, aussi appelé antitruc, noté ⊥, désigne la contradiction, c'est-à-dire la formule constante représentant le faux. 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 non-P de x entraîne base ». Ce symbole peut aussi désigner le type vide en théorie des types. (fr)
|
| rdfs:label
|
- ⊥ (fr)
- Up tack (en)
- 垂直記号 (ja)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
