| Property |
Value |
| 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". (es)
- 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". (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageInterLanguageLink
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:apellido
|
- H. D. Ebbinghaus (es)
- J. Flum (es)
- W. Thomas (es)
- H. D. Ebbinghaus (es)
- J. Flum (es)
- W. Thomas (es)
|
| prop-es:año
| |
| prop-es:edición
|
- Second Edition (es)
- Second Edition (es)
|
| prop-es:editorial
|
- Springer-Verlag (es)
- Springer-Verlag (es)
|
| prop-es:idioma
| |
| prop-es:isbn
| |
| prop-es:título
|
- Mathematical Logic (es)
- Mathematical Logic (es)
|
| prop-es:url
| |
| dct:subject
| |
| 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". (es)
- 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". (es)
|
| rdfs:label
|
- Teoría (lógica) (es)
- Teoría (lógica) (es)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
