En lógica, la consistencia o consistencia lógica es una propiedad que pueden tener los conjuntos de fórmulas. Intuitivamente, un conjunto de fórmulas es consistente cuando no contiene una contradicción o ambigüedad. La consistencia puede ser definida tanto en términos semánticos como en términos sintácticos. En términos semánticos, un conjunto de fórmulas es consistente si y sólo si tiene un modelo.

rdfs:comment
  • En lógica, la consistencia o consistencia lógica es una propiedad que pueden tener los conjuntos de fórmulas. Intuitivamente, un conjunto de fórmulas es consistente cuando no contiene una contradicción o ambigüedad. La consistencia puede ser definida tanto en términos semánticos como en términos sintácticos. En términos semánticos, un conjunto de fórmulas es consistente si y sólo si tiene un modelo. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Consistencia (lógica) (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 384618 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 2740 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 23 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 70998110 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [21 values]
Is dbpedia-owl:wikiPageWikiLink of [53 values]