En lógica, se llama completitud semántica, o simplemente completitud a una propiedad metateórica que pueden tener los sistemas lógicos. Se dice que un sistema lógico es semánticamente completo cuando todas las fórmulas lógicamente válidas del sistema son además teoremas del sistema. Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de teoremas.

rdfs:comment
  • En lógica, se llama completitud semántica, o simplemente completitud a una propiedad metateórica que pueden tener los sistemas lógicos. Se dice que un sistema lógico es semánticamente completo cuando todas las fórmulas lógicamente válidas del sistema son además teoremas del sistema. Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de teoremas. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Completitud semántica (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 2041805 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1788 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 11 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 68814023 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [11 values]
Is dbpedia-owl:wikiPageWikiLink of [22 values]