Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00021998n
Noun Concept
Categories: Metalógica, Problemas de Hilbert, Teoría de la demostración, Lógica matemática
ES
consistencia  Demostración de coherencia  Coherencia  Concordia  Consistencia logica
ES
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Wikipedia
Spanish:
lógica
Definitions
Relations
Sources
ES
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Wikipedia
Una propiedad de los sistemas formales. Wikipedia Disambiguation
propiedad que tiene un sistema formal cuando no es posible deducir ninguna contradicción entre los contenidos de sus proposiciones Wikidata
IS A
lógica
propiedad matemática
HAS KIND
fuerza consistencia
HAS INSTANCE
EN
internal consistency of the Bible
CATEGORY DOMAIN
lógica
DESCRIBED BY SOURCE
Enciclopedia soviética armenia
FACET OF
sistema lógico
OPPOSITE OF
contradicción
SAID TO BE THE SAME AS
acuerdo
Spanish Open Multilingual WordNet
ES
consistencia
Wikipedia
ES
consistencia (lógica)
Wikidata
ES
consistencia
Wikipedia Redirections
ES
coherencia (lógica), Consistencia (logica), Consistencia logica, consistencia lógica, consistentes, Demostracion de coherencia, Demostracion de consistencia, Demostración de coherencia, Demostración de Coherencia, demostración de consistencia, prueba de consistencia
Wikidata Alias
ES
Coherencia, Concordia, Consistencia logica, Consistencia lógica, Consistentes
Wikipedia Translations
ES
consistencia, consistente, incompatibles, inconsistente

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License