This HTML5 document contains 27 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/
n17http://pl.dbpedia.org/resource/Teoria_(logika)
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n2http://es.dbpedia.org/resource/Teoría_(lógica)
prop-eshttp://es.dbpedia.org/property/
n6http://es.wikipedia.org/wiki/Teoría_(lógica)
rdfshttp://www.w3.org/2000/01/rdf-schema#
n5http://dbpedia.org/resource/Theory_(mathematical_logic)
n15http://el.dbpedia.org/resource/Θεωρία_(μαθηματική_λογική)
n16http://fa.dbpedia.org/resource/نگره_(منطق_ریاضی)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-frhttp://fr.dbpedia.org/resource/
n8https://archive.org/details/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://es.wikipedia.org/wiki/Teoría_(lógica)?oldid=121945268&ns=
Subject Item
n2:
rdfs:label
Teoría (lógica)
rdfs:comment
En lógica, una teoría es un conjunto de proposiciones dentro de un lenguaje formal que es semánticamente completo en el sentido de que todo modelo que satisface todas las proposiciones de la teoría también satisface cualquier otra proposición que sea consecuencia de la misma. Lo que diferencia a una teoría de un conjunto de proposiciones cualquiera es que incluye todas sus consecuencias, es decir, es un conjunto cerrado de proposiciones bajo el "operador consecuencia".
dct:subject
category-es:Lógica_matemática category-es:Teoría_de_modelos
foaf:isPrimaryTopicOf
n6:
prop-es:apellido
J. Flum H. D. Ebbinghaus W. Thomas
prop-es:año
1994
prop-es:edición
Second Edition
prop-es:editorial
Springer-Verlag
prop-es:idioma
inglés
prop-es:isbn
0
prop-es:título
Mathematical Logic
prop-es:url
n8:mathematicallogi1996ebbi
dbo:wikiPageID
5555839
dbo:wikiPageRevisionID
121945268
dbo:wikiPageExternalLink
n8:mathematicallogi1996ebbi
dbo:wikiPageInterLanguageLink
n5: dbpedia-fr:Théorie_axiomatique n15: n16: n17:
dbo:wikiPageLength
9187
prov:wasDerivedFrom
n13:0
dbo:abstract
En lógica, una teoría es un conjunto de proposiciones dentro de un lenguaje formal que es semánticamente completo en el sentido de que todo modelo que satisface todas las proposiciones de la teoría también satisface cualquier otra proposición que sea consecuencia de la misma. Lo que diferencia a una teoría de un conjunto de proposiciones cualquiera es que incluye todas sus consecuencias, es decir, es un conjunto cerrado de proposiciones bajo el "operador consecuencia".
Subject Item
n6:
foaf:primaryTopic
n2: