This HTML5 document contains 51 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n10http://fr.dbpedia.org/resource/Table_des_caractères_Unicode/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n11http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n4http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n18http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:⊥
rdfs:label
垂直記号 ⊥ Up tack
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.
owl:sameAs
dbr:Up_tack n11:09v2d9q wikidata:Q3594846 dbpedia-ja:垂直記号 n18:2777737725
dbo:wikiPageID
2442203
dbo:wikiPageRevisionID
155399081
dbo:wikiPageWikiLink
dbpedia-fr:Glyphe dbpedia-fr:Théorie_des_types dbpedia-fr:Perpendicularité dbpedia-fr:Contradiction category-fr:Connecteur_logique dbpedia-fr:Prédicat dbpedia-fr:Logique dbpedia-fr:Algèbre_linéaire n10:U2200 category-fr:Symbole_mathématique dbpedia-fr:Liste_de_symboles_logiques dbpedia-fr:Géométrie dbpedia-fr:Mathématiques dbpedia-fr:Type_vide dbpedia-fr:Informatique dbpedia-fr:Orthogonalité category-fr:Caractère_Unicode dbpedia-fr:Table_de_symboles_mathématiques dbpedia-fr:Relation_(mathématiques) dbpedia-fr:Formule_logique
dbo:wikiPageLength
2012
dct:subject
category-fr:Connecteur_logique category-fr:Caractère_Unicode category-fr:Symbole_mathématique
prop-fr:wikiPageUsesTemplate
n4:Ébauche n4:Infobox_Caractère_Unicode n4:Portail n4:,
prov:wasDerivedFrom
wikipedia-fr:⊥?oldid=155399081&ns=0
prop-fr:code
22
prop-fr:nom
Taquet vers le haut
prop-fr:titre
⊥
prop-fr:bloc
n10:U2200
prop-fr:trait
rectiligne
prop-fr:latex
ou \perp \bot
prop-fr:symétrie
axiale
foaf:isPrimaryTopicOf
wikipedia-fr:⊥
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.