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

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

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
n2http://es.dbpedia.org/resource/Trinquete_(símbolo)
n17http://es.wikipedia.org/wiki/Trinquete_(símbolo)
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://docenti.lett.unisi.it/files/4/1/1/6/martinlof4.
n7http://dbpedia.org/resource/Turnstile_(symbol)
n14http://es.wikipedia.org/wiki/Trinquete_(símbolo)?oldid=129994737&ns=
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n9https://archive.org/details/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://es.dbpedia.org/resource/Catraca_(símbolo)
Subject Item
n7:
owl:sameAs
n2:
Subject Item
n15:
dbo:wikiPageRedirects
n2:
Subject Item
n17:
foaf:primaryTopic
n2:
Subject Item
n2:
rdfs:label
Trinquete (símbolo)
rdfs:comment
En lógica matemática y ciencias de la computación, el símbolo se llama trinquete, por su semejanza con un trinquete o molinillo observado desde arriba. Se puede leer como "es lo que causa", "deduce que", "acarrea en" o "satisfecho" (siendo este el más común). El símbolo fue utilizado por primera vez por Gottlob Frege en su libro sobre la lógica en 1879, .​ se puede leer como:Yo se que es verdad".​ En la misma línea de razonamiento: Se puede leer de las siguientes maneras: * A partir de , yo sé que * es lo que causa * es demostrable a partir de
dct:subject
category-es:Símbolos_matemáticos category-es:Lógica_matemática
foaf:isPrimaryTopicOf
n17:
prop-es:apellido
Iverson Schwichtenberg Martin-Löf Frege Troelstra Schmidt
prop-es:año
2000 1879 1987 1996 1994
prop-es:edición
2
prop-es:editorial
Halle dbpedia-es:MIT_Press dbpedia-es:Cambridge_University_Press
prop-es:enlaceAutor
A. S. Troelstra David A. Schmidt Gottlob Frege H. Schwichtenberg Per Martin-Löf
prop-es:enlaceautor
Kenneth E. Iverson
prop-es:idioma
inglés
prop-es:isbn
0 978
prop-es:issue
1
prop-es:nombre
Per Kenneth A. S. David Gottlob H.
prop-es:publicación
dbpedia-es:Nordic_Journal_of_Philosophical_Logic
prop-es:páginas
11
prop-es:ref
harv
prop-es:título
On the meanings of the logical constants and the justifications of the logical laws Basic Proof Theory Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens A Dictionary of APL The Structure of Typed Programming Languages
prop-es:url
n9:structureoftyped0000schm n11:pdf
prop-es:volumen
1
dbo:wikiPageID
6982333
dbo:wikiPageRevisionID
129994737
dbo:wikiPageExternalLink
n11:pdf n9:structureoftyped0000schm
dbo:wikiPageLength
5676
prov:wasDerivedFrom
n14:0
dbo:abstract
En lógica matemática y ciencias de la computación, el símbolo se llama trinquete, por su semejanza con un trinquete o molinillo observado desde arriba. Se puede leer como "es lo que causa", "deduce que", "acarrea en" o "satisfecho" (siendo este el más común). El símbolo fue utilizado por primera vez por Gottlob Frege en su libro sobre la lógica en 1879, .​ Martin-Löf analiza el símbolo de la siguiente manera: "... [A] combinación de Urteilsstrich, la barra de ensayo [|], y del Inhaltsstrich, trazo de contenido, todos de Frege, vino a llamarse símbolo de afirmación.."[2] La notación de Frege para un juicio de algún contenido A se puede leer como:Yo se que es verdad".​ En la misma línea de razonamiento: Se puede leer de las siguientes maneras: * A partir de , yo sé que * es lo que causa * es demostrable a partir de En TeX, el símbolo de trinquete se obtiene de la orden \vdash. En Unicode, el símbolo (⊢) se llama tacha derecha y está mapeado en el código U+22A2.​ Se puede emular en caracteres ASCII con barra vertical (|) y un guion (-).