About: Up tack     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

AttributesValues
rdfs:label
  • ⊥ (fr)
  • Up tack (en)
  • 垂直記号 (ja)
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)
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
prop-fr:code
prop-fr:nom
  • Taquet vers le haut (fr)
prop-fr:titre
  • ⊥ (fr)
prop-fr:bloc
prop-fr:trait
  • rectiligne (fr)
prop-fr:latex
  • \bot (fr)
  • ou \perp (fr)
prop-fr:symétrie
  • axiale (fr)
foaf:isPrimaryTopicOf
has 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)
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software