FORMA NORMAL PRENEX

FORMA NORMAL PRENEX

Una fórmula del cálculo de predicados está en forma normal prenex si se escribe como una cadena de cuantificadores seguido por una parte libre de cuantificador (conocido como el de la matriz). Una fórmula de la lógica de primer orden está en forma normal prenex si es de la forma cuantificador libre. Por ejemplo, la fórmula mientras que la fórmula está en forma normal prenex, no lo está. donde cada es un cuantificador o y es

Cada primer fin de fórmula es lógicamente equivalente (en la lógica clásica) a una fórmula en forma normal prenex. Hay varias reglas de conversión que se pueden aplicar de forma recursiva para convertir una fórmula para prenex forma normal. Las normas dependen de la conectivos lógicos aparecen en la fórmula. Las reglas para convertir una fórmula a forma prenex, hacen un uso intensivo de la lógica clásica. En la lógica intuicionista , no es cierto que cada fórmula es lógicamente equivalente a una fórmula prenex. El concepto es esencial para el desarrollo de la jerarquía aritmética y la jerarquía analítica, que se encarga de asignar clasificaciones a las fórmulas en el lenguaje de la lógica de orden primero.

Tomado de:
http://www.worldlingo.com/ma/enwiki/en/Prenex_normal_form http://mathworld.wolfram.com/PrenexNormalForm.html http://en.wikipedia.org/wiki/Prenex_normal_form

Diego Edison González Pulido – Ingeniería de sistemas – Código 02258322

Sign up to vote on this title
UsefulNot useful