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

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

PrefixNamespace IRI
dcthttp://purl.org/dc/terms/
category-eshttp://es.dbpedia.org/resource/Categoría:
n8http://dbpedia.org/resource/Interpretation_(logic)
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15http://es.wikipedia.org/wiki/Interpretación_(lógica)?oldid=123652238&ns=
n4http://es.wikipedia.org/wiki/Interpretación_(lógica)
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://es.dbpedia.org/resource/Interpretacion_(lógica)
n13http://es.dbpedia.org/resource/Interpretacion_(logica)
n7http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n2http://es.dbpedia.org/resource/Interpretación_(lógica)
Subject Item
n2:
rdfs:label
Interpretación (lógica)
rdfs:comment
En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal.​ Como los lenguajes formales pueden definirse en términos puramente sintácticos, sus fórmulas bien formadas pueden no ser más que cadenas de símbolos sin ningún significado. Una interpretación otorga significado a esas fórmulas. El estudio general de las interpretaciones de los lenguajes formales se llama semántica formal.​
owl:sameAs
n7:03d5xd8
dct:subject
category-es:Lógica
foaf:isPrimaryTopicOf
n4:
dbo:wikiPageID
2995737
dbo:wikiPageRevisionID
123652238
dbo:wikiPageLength
1669
prov:wasDerivedFrom
n15:0
dbo:abstract
En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal.​ Como los lenguajes formales pueden definirse en términos puramente sintácticos, sus fórmulas bien formadas pueden no ser más que cadenas de símbolos sin ningún significado. Una interpretación otorga significado a esas fórmulas. El estudio general de las interpretaciones de los lenguajes formales se llama semántica formal.​ Una interpretación muchas veces (pero no siempre) permite determinar el valor de verdad de las fórmulas bien formadas de un lenguaje.​ Si una interpretación asigna el valor de verdad verdadero a una fórmula o a varias fórmulas, entonces se dice que la interpretación es un modelo de esa fórmula o de esas fórmulas.​
Subject Item
n13:
dbo:wikiPageRedirects
n2:
Subject Item
n10:
dbo:wikiPageRedirects
n2:
Subject Item
n4:
foaf:primaryTopic
n2:
Subject Item
n8:
owl:sameAs
n2: