Diferencia entre revisiones de «Forma normal prenexa»

40 bytes añadidos ,  hace 10 años
== Uso de la forma prenexa ==
 
Algunos [[cálculos de derivación]] sólo pueden tratar con una teoría cuyas fórmulas estén escritas en forma normal prenexa.
Some [[proof calculus|proof calculi]] will only deal with a theory whose formulae are written in prenex normal form. The concept is essential for developing the [[arithmetical hierarchy]] and the [[analytical hierarchy]].
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.
[[Gödel]]'s proof of his [[Gödel's completeness theorem|completeness theorem]] for [[first-order logic]] presupposes that all formulae have been recast in prenex normal form.
 
== Véase también ==
Usuario anónimo