En lógica matemática, el teorema de compacidad establece que un conjunto de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo conjunto de fórmulas de un lenguaje L, si todo subconjunto finito de es satisfacible, entonces es satisfacible.

rdfs:comment
  • En lógica matemática, el teorema de compacidad establece que un conjunto de fórmulas bien formadas de la lógica de primer orden tiene un modelo si todos sus subconjuntos finitos tienen un modelo. Es decir, para todo conjunto de fórmulas de un lenguaje L, si todo subconjunto finito de es satisfacible, entonces es satisfacible. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Teorema de compacidad (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 786510 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1998 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 17 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 68571911 (xsd:integer)
dbpedia-owl:wikiPageWikiLink [17 values]
Is dbpedia-owl:wikiPageWikiLink of