Diferencia entre revisiones de «Forma normal prenexa»

Cuando una fórmula en forma normal prenexa sólo 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.

 

 

Toda fórmula de primer orden es lógicamente [[equivalencia lógica|equivalente]] a alguna fórmula en forma prenexa. Hay algunas reglas de conversión que pueden ser aplicadas recursivamente para convertir una fórmula a forma prenexa. Las reglas dependen de qué [[conectiva lógica]] (o conectivas) y [[cuantificador]] (o cuantificadores) aparezcan en la fórmula.

 

 

Las reglas para la conjunción y la disyunción dicen que