Diferencia entre revisiones de «Forma normal prenexa»

m
Correcciones ortográficas con Replacer (herramienta en línea de revisión de errores)
m (Mantenimiento de Control de autoridades)
m (Correcciones ortográficas con Replacer (herramienta en línea de revisión de errores))
El término «prenexa» viene del [[latín]] ''praenexus'', [[pasado (gramática)|pasado]] [[participio]] de ''praenectere'', que significa «atado» o «atado en el frente».<ref>[http://cs.nyu.edu/pipermail/fom/2007-November/012328.html]</ref>
 
Cuando una fórmula en forma normal prenexa sólosolo posee [[Cuantificador universal|cuantificadores universales]], se dice que está en [[forma normal de Skolem]]. Toda fórmula en forma normal prenexa es lógicamente equivalente a una en forma normal de Skolem, y la manera de llegar de una a otra se denomina skolemización.
 
== Conversión a forma prenexa ==
== Uso de la forma prenexa ==
 
Algunos [[sistema lógico|sistemas lógicos]] sólosolo pueden tratar con una [[teoría (lógica)|teoría]] cuyas fórmulas estén escritas en forma normal prenexa.
El concepto es esencial para desarrollar la [[jerarquía aritmética]] y la [[jerarquía analítica]].
La prueba de [[Gödel]] de su [[Teorema de completitud de Gödel|teorema de completitud]] para la [[lógica de primer orden]] presupone que todas las fórmulas han sido reescritas en formal normal prenexa.
1001

ediciones