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 |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
prov:wasDerivedFrom | |
Is dbpedia-owl:wikiPageDisambiguates of | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [21 values] |
Is dbpedia-owl:wikiPageWikiLink of | [53 values] |