Diferencia entre revisiones de «Forma normal prenexa»

26 bytes eliminados ,  hace 3 años
m
Revertidos los cambios de 200.34.44.90 (disc.) a la última edición de SeroBOT
Sin resumen de edición
m (Revertidos los cambios de 200.34.44.90 (disc.) a la última edición de SeroBOT)
Etiqueta: Reversión
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.
 
== Conversión disyuntivamentea forma prenexa ==
 
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.
 
=== Conjunción y disyunción del verbo prenexa ===
 
Las reglas para la conjunción y la disyunción dicen que
276 673

ediciones