Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064724n
Noun Concept
Categories: Lógica
ES
prueba formal  prueba  demostración
ES
En Lógica, una derivación formal es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida como consecuencia directa de las sentencias anteriores en la secuencia utilizándose una regla de inferencia. Wikipedia
Definitions
Relations
Sources
ES
En Lógica, una derivación formal es una secuencia finita de sentencias donde cada sentencia puede ser un axioma o puede ser obtenida como consecuencia directa de las sentencias anteriores en la secuencia utilizándose una regla de inferencia. Wikipedia
IS A
argumento
documento
HAS PART
teorema
HAS KIND
EN
demonstration
prueba lógica
prueba matemática
EN
direct proof
cuantización
HAS INSTANCE
EN
Hagen–Poiseuille flow from the Navier–Stokes equations
CATEGORY DOMAIN
lógica
matemáticas
SAID TO BE THE SAME AS
prueba matemática
Spanish Open Multilingual WordNet
ES
prueba
Wikipedia
ES
prueba formal
Wikidata
ES
prueba formal
WordNet Translations
ES
demostración

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