Wikipedia

Diferencia entre revisiones de «Forma normal prenexa»

Explorar historial interactivamente
← Ir a diferencia anteriorIr a siguiente diferencia →
Contenido eliminado Contenido añadido
VisualWikitexto
Línea 77:
== 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 ==
Obtenido de «https://es.wikipedia.org/wiki/Forma_normal_prenexa»