Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:14401372n
Noun Concept
Categories: Métodos formales, Siglo IV a. C. en la India, Filosofía de la matemática, Lógica matemática, Sistemas lógicos
ES
sistema formal  sistema deductivo  sistema axiomático  Sistema axiomatico  Sistema logico
ES
Un sistema deductivo está constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema. Wikipedia
Definitions
Relations
Sources
ES
Un sistema deductivo está constituido de axiomas y reglas de inferencia que pueden ser usados para derivar los teoremas del sistema. Wikipedia
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración. Wikipedia
Muy bueno Wikidata
Lenguaje formal y sistema deductivo que comprende un conjunto de reglas de inferencia o de axiomas. OmegaWiki
IS A
organización
sistema
PART OF
sistema lógico
HAS KIND
sistema axiomático
lenguaje formal
cálculo lambda
sistema de tipos
teoría de tipos
+5 relations
HAS INSTANCE
lógica de Hoare
cálculo de situaciones
DIFFERENT FROM
sistema axiomático
FABRICATION METHOD
formalización
HAS QUALITY
completitud
consistencia
Wikipedia
ES
sistema deductivo, sistema formal
Wikidata
ES
Sistema deductivo, sistema formal
OmegaWiki
ES
sistema axiomático, sistema formal
Wikipedia Redirections
ES
Sistema axiomatico, Sistema logico, sistema lógico
Wikipedia Translations
ES
aparato deductivo, sistema de lógica, sistema deductivo, sistema formal, sistemas formales

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