Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03161002n
Noun Concept
Categories: Formas normales, Lógica matemática
ES
forma normal prenexa  forma prenexa  forma normal prenex
ES
En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Wikipedia
Definitions
Relations
Sources
ES
En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Wikipedia
IS A
canónico
HAS KIND
forma normal de Skolem
FACET OF
lógica de primer orden
Wikipedia
ES
forma normal prenexa
Wikidata
ES
forma prenexa
Wikipedia Translations
ES
forma normal prenex

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