FORMAS NORMALES

Csar Ignacio Garca Osorio

ndice
1. Formas normales en lgica de proposiciones 2
1.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Mtodo de transformacin . . . . . . . . . . . . . . . . . . . . . 3
2. Formas normales en lgica de predicados 5
2.1. Forma normal de prenexa . . . . . . . . . . . . . . . . . . . . . . 5
2.1.1. Mtodo de transformacin . . . . . . . . . . . . . . . . . 5
2.2. Forma normal de Skolem . . . . . . . . . . . . . . . . . . . . . . 7
Resumen
A menudo es necesario transformar una frmula en otra, sobre todo
transformar una frmula a su forma normal. Esto se consigue transfor-
mando la frmula en otra equivalente y repitiendo el proceso hasta conseguir
la forma deseada.
En estos apuntes se dan las reglas necesarias para transformar sintctica-
mente una frmula en una forma normal ms adecuada para la demostracin
automtica y que conserva la semntica de la frmula original.
Por ejemplo se pueden usar estas reglas para derivar la frmula a partir
de otra dada comprobando as la inconsistencia de la frmula original.
Lgica
1. Formas normales en lgica de proposiciones
Gracias a las leyes asociativas los parntesis en (F (G H)) o en ((F
G) H) pueden eliminarse, es decir, se puede escribir (F G H). En general
se va a poder escribir sin ambigedad una frmula D = (F
1
F
2
. . . F
n
)
donde F
1
, F
2
, . . . , F
n
son frmulas. La frmula D es cierta cuando lo es al menos
una de las F
i
, en caso contrario D es falsa. La frmula D recibe el nombre de
disyuncin de las frmulas F
1
, F
2
, . . . , F
n
. De modo anlogo se puede escribir
C = (F
1
F
2
... F
n
) que es cierta cuando lo son F
1
, F
2
, . . . , F
n
, si alguna de
las F
i
es falsa tambin lo es C. La frmula C se llama conjuncin de F
1
, F
2
, . . . ,
F
n
. El orden en que aparecen los F
i
es indiferente debido a la ley conmutativa.
1.1. Deniciones
Ahora se pueden denir las formas normales como sigue:
Denicin 1 (Literal, literales complementarios, par complementario) Un li-
teral es un tomo o la negacin de un tomo. Si P, Q, R son tomos P, P,
Q, Q, R, R son literales. Dos literales l y l

son complementarios si y slo si

l = l

. Al conjunto {l, l

} se llama par complementario.

Denicin 2 (Forma normal disyuntiva) Una frmula F se dice que esta en for-
ma normal disyuntiva si y slo si F es de la forma F = (F
1
F
2
. . . F
n
), donde
cada F
i
es una conjuncin de literales.
Denicin 3 (Forma normal conjuntiva) Una frmula F se dice que esta en
forma normal conjuntiva si y slo si F es de la forma F = (F
1
F
2
. . . F
n
),
donde cada F
i
es una disyuncin de literales.
Denicin 4 (Clusula, clusula unitaria, clusula vaca) Una clusula es una
disyuncin de cero o ms literales. A veces se utiliza un conjunto de literales como
equivalente a una clusula suponiendo la disyuncin entre los literales del conjun-
to. As por ejemplo P Q R = {P, Q, R}. Cuando la clusula tiene un
nico literal se llama clusula unitaria. Cuando no contiene ningn literal clusu-
la vaca, como la clusula vaca no tiene ningn literal no puede ser satisfecha por
ninguna interpretacin, la clusula vaca es siempre falsa y se representa al igual
que la frmula siempre falsa por .
Csar I. G. Osorio 2 LSI Univ. de Burgos
Lgica 1.2 Mtodo de transformacin
Denicin 5 (Forma clausulada) Una forma clausulada es un conjunto de clu-
sulas entre las que se supone la conjuncin.
Ejemplo 1
Dados los tomos P, Q y R, la frmula (P Q) (P Q R) es
una frmula en forma normal disyuntiva, (P QR) (P Q) es una
frmula en forma normal conjuntiva, y {P QR, P Q} es la forma
clausulada de la frmula anterior. {{P, Q, R}, {P, Q}} es otra forma de
poner la forma clausulada.
Cualquier frmula se puede transformar en una forma normal. Esta transfor-
macin se lleva a cabo mediante la aplicacin de las leyes de la El procedimiento
es el siguiente.
1.2. Mtodo de transformacin
Paso 1: Usar las leyes: (L1) F G = (F G) (G F) y (L2) F G =
F G para eliminar las conectivas lgicas y .
Paso 2: Usar repetidamente la ley (L10) (F) = F y las leyes de De Morgan:
(L11.a) (F H) = F G y (L11.b) (F H) = F G para
disminuir el alcance de la negacin a un nico literal.
Paso 3: Usar de forma repetida las leyes distributivas: (L5.a) F (G H) = (F
G) (F H) y (L5.b) F (GH) = (F G) (F H) y las otras leyes
para obtener la forma normal.
Ejemplo 2
Obtener la forma normal conjuntiva de la frmula (P (Q R)) S.
(P (Q R)) S
= (P (Q R)) S por L2
= (P (Q R)) S por L2
= (P (Q R)) S por L11.b
= (P ((Q) R)) S por L11.a
= (P (Q R)) S por L10
= ((P Q) (P R)) S por L6.a
= S ((P Q) (P R)) por L3.a
= (S ((P Q)) (S (P R)) por L6.a
= (S P Q) (S P R) por L4
Csar I. G. Osorio 3 LSI Univ. de Burgos
Lgica 1.2 Mtodo de transformacin
Por tanto una forma normal conjuntiva de (P (Q R)) S es (S
P Q) (S P R) la forma clausulada para esta frmula ser:
{{S, P, Q}, {S, P, R}}.
Ejemplo 3
Dadas las frmulas: F
1
= (P Q), F
2
= Q, G = P. Demostrar que G
es consecuencia lgica de F
1
y F
2
. Esto se podra hacer mediante el uso de
tablas de verdad para comprobar que todo modelo de F
1
y de F
2
es tambin
modelo de G. Pero se puede hacer tambin usando los resultados del teorema
de refutacin en combinacin con el procedimiento de normalizacin de
una frmula. Usando el punto 2 del citado teorema y llevando la frmula
(((P Q) Q) P) a forma normal conjuntiva, tenemos:
(((P Q) Q) P)
= ((P Q) Q) P por L2
= ((P Q) Q) P por L2
= ((P Q) (Q Q)) P por L5.b
= ((P Q) ) P por L8.b
= ((P Q)) P por L6.a
= (P Q) P por L11.b
= (Q P) P por L3.a
= Q (P P) por L4.a
= Q por L8.a
= por L7.a
Como la frmula (((P Q)Q) P) es vlida (ya que es equivalente
a n que es cierta para todo modelo) por el G es consecuencia lgica de F
1
y
F
2
. Usando el punto 3 del citado teorema de refutacin ((P Q)QP)
a forma normal disyuntiva, tenemos:
((P Q) Q P)
= (P Q) Q P por L2
= (P Q P) (Q Q P) por L5.b
= por L8.b
= por L6.a
Como la frmula ((P Q) Q P) es inconsistente (ya que es equi-
valente a que siempre es falsa) por el G es consecuencia lgica de F
1
y
F
2
. Este ltimo mtodo de probar la inconsistencia de una frmula trans-
formndola en se llama mtodo de multiplicacin, porque el proceso de
Csar I. G. Osorio 4 LSI Univ. de Burgos
Lgica
transformacin es muy similar al de . En el ejemplo anterior se ha mostrado
que la conclusin (G) se sigue de unos hechos dados (F
1
y F
2
), llamados
axiomas. La demostracin de que la conclusin se sigue de los axiomas se
llama prueba. Un procedimiento para encontrar una prueba se llama proce-
dimiento de prueba. .
2. Formas normales en lgica de predicados
Al igual que en la lgica proposicional en la lgica de predicados tambin
existen formas normales, un primer paso en la obtencin de la forma normal ms
adecuada para los procedimientos de deduccin automtica es llevar todos los
cuanticadores a la parte izquierda de la frmula: forma normal prenexa, a conti-
nuacin se transforma la parte de la frmula sin cuanticadores a la forma normal
conjuntiva de un modo anlogo al visto para la lgica de proposiciones, por l-
timo se eliminan los cuanticadores universales para obtener la forma normal de
Skolem. Ahora todos los cuanticadores son universales. Podemos representar la
formula como un conjunto de clusulas siempre y cuando tengamos presente la
mencionada cuanticacin universal de las variables.
2.1. Forma normal de prenexa
Denicin 6 (Forma normal prenexa) Una frmula F de la lgica de predica-
dos se dice que esta en forma normal prenexa si y slo si la F tiene la forma:
(Q
1
x
1
)(Q
2
x
2
) (Q
n
x
n
)M[x
1
, x
2
, . . . , x
n
]
Donde los Q
i
son cuanticadores: o bien o bien , y M[x
1
, x
2
, . . . , x
n
] es una
frmula que no contiene cuanticadores cuyas nicas variables (que son libres)
son x
1
, x
2
, . . . , x
n
. (Q
1
x
1
)(Q
2
x
2
) (Q
n
x
n
) se llama prejo y a M se le llama
matriz de la frmula F.
2.1.1. Mtodo de transformacin
Transformacin de una frmula a su forma normal prenexa.
Paso 1: Usar las leyes
(L1) F G = (F G) (G F) y
(L2) F G = F G
Csar I. G. Osorio 5 LSI Univ. de Burgos
Lgica 2.1 Forma normal de prenexa
para eliminar las conectivas lgicas y .
Paso 2: Usar repetidamente:
la ley de doble negacin
(L10) (F) = F,
las leyes de De Morgan:
(L11.a) (F H) = F G y
(L11.b) (F H) = F G,
y las leyes de De Morgan para cuanticadores:
(L13.a) (x)F[x] = (x)(F[x]) y
(L13.b) ((x)F[x]) = (x)(F[x])
para llevar los signos de negacin inmediatamente delante de los tomos.
Paso 3: Renombrar las variables ligadas si fuese necesario (para poder aplicar las
leyes L15).
Paso 4: Usar las leyes:
(L12.a) G (Qx)F[x] = (Qx)(G F[x]),
(L12.b) G (Qx)F[x] = (Qx)(G F[x]),
(L14.a) (x)F[x] (x)H[x] = (x)(F[x] H[x]),
(L14.b) (x)F[x] (x)H[x] = (x)(F[x] H[x]),
(L15.a) (Q
1
x)F[x] (Q
2
x)H[x] = (Q
1
x)(Q
2
z)(F[x] H[z]) y
(L15.b) (Q
3
x)F[x] (Q
4
x)H[x] = (Q
3
x)(Q
4
z)(F[x] H[z])
para mover los cuanticadores a la izquierda de la frmula para obtener la
forma normal prenexa
1
.
Ejemplo 4
Obtener la forma normal prenexa de la frmula: (x)(y)((z)P(x, y, z)
((u)Q(x, u) (v)Q(y, v))).
(x)(y)((z)P(x, y, z) ((u)Q(x, u) (v)Q(y, v)))
= (x)(y)((z)P(x, y, z) ((u)Q(x, u) (v)Q(y, v))) por L2
= (x)(y)((z)P(x, y, z) ((u)Q(x, u) (v)Q(y, v))) por L13.b
= (x)(y)(z)(u)(v)(P(x, y, z) Q(x, u) Q(y, v)) usando L12
1
En este ltimo paso es conveniente cuando que los cuanticadores existenciales queden lo ms
a la izquierda posible. Los motivos de esto se vern en el captulo siguiente (cuando se introduzca
el concepto de funciones de Skolem).
Csar I. G. Osorio 6 LSI Univ. de Burgos
Lgica 2.2 Forma normal de Skolem
La forma normal prenexa es uno de los pasos que hay que seguir para po-
der transformar una formula en una clusula, es decir, una formula cerrada de la
forma:
(x
1
) (x
s
)(L
1
L
m
)
donde cada L
i
, i = 1, . . . , m, m 0, es un literal con L
i
= L
j
para cada i = j, y
x
1
, . . . , x
s
, s 0, son variables que ocurren en (L
1
L
m
).
2.2. Forma normal de Skolem
En el proceso de llevar una fbf a forma clausulada se llega a un punto en el que
hay que eliminar los cuanticadores existenciales. Esto se consigue introduciendo
las llamadas funciones de Skolem. En esta seccin se explica la forma de proce-
der para hacer esto. Adems se enuncia y demuestra un importante teorema que
relaciona la insatisfacibilidad de una fbf con la de su forma normal de Skolem.
Sea G una frmula que ya est en forma normal prenexa
(Q
1
x
1
)(Q
2
x
2
) . . . (Q
n
x
n
)M[x
1
, x
2
, . . . , x
n
]
donde M[x
1
, x
2
, . . . , x
n
] est en forma normal conjuntiva. Sea Q
r
un cuantica-
dor existencial del prejo (1 r n).
Q
r
se elimina del prejo y se realizan los siguientes cambios:
(a) Si no hay ningn cuanticador universal delante de Q
r
elegir una constate c que no ocurra en M.
reemplazar todas las ocurrencias de x
r
en Mpor c.
(b) Sean Q
s1
, Q
s2
, . . . , Q
sm
todos los cuanticadores universales que aparecen
delante de Q
r
con (1 s
1
< s
2
. . . s
m
< r).
elegir una funcin m-aria f
r
que no ocurra en M.
reemplazar todas las ocurrencias de x
r
en Mpor f
r
(x
s1
, x
s1
. . . , x
sm
).
Cuando todos los cuanticadores existenciales han sido eliminados por este
procedimiento, la ltima frmula obtenida G
s
es la forma estndar de Skolem de
G.
Las constantes y funciones utilizadas para reemplazar las variables cuantica-
das existencialmente reciben el nombre de funciones de Skolem.
Csar I. G. Osorio 7 LSI Univ. de Burgos
Lgica 2.2 Forma normal de Skolem
Ejemplo 5
Obtener la forma estndar de Skolem de la frmula:
(x)(y)(z)(u)(v)(w)P(x, y, z, u, v, w)
Como ya est en forma normal prenexa y la matriz en forma normal conjun-
tiva, simplemente tenemos que hacer las eliminaciones de cuanticadores
existenciales. Como (x) no est precedido de ningn cuanticador univer-
sal, la variable x se sustituye por una constante, por ejemplo a. Como (u)
esta precedido por los cuanticadores universales sobre las variables y y z
la variable u se sustituye por la funcin f(y, z). Por ltimo como (w) es-
t precedido por los cuanticadores universales sobre las variables y, z y v
se sustituir por una funcin, como por ejemplo g(y, z, v). Con lo cual se
obtiene:
(y)(z)(v)P(a, y, z, f(y, z), v, g(y, z, v))
Ya se haba introducido el concepto de clusula como una disyuncin de cero
o ms literales, tambin se ha visto que una clusula poda representarse como un
conjunto de literales entre los que se supone la disyuncin. Del mismo modo un
conjunto de clusulas S se puede ver como la conjuncin de todas las clusulas
en S, donde cada variable en S se considera que est gobernada por un cuanti-
cador universal. Como ya se ha dicho los cuanticadores existenciales pueden ser
eliminados sin afectar a la propiedad de inconsistencia. Esto es lo que nos dice el
siguiente teorema.
Teorema 1 Sea G una sentencia y G
s
su forma estndar de Skolem. G es incon-
sistente si y slo si G
s
es inconsistente.
Demostracin: Sin perdida de generalidad se puede suponer que G est
en forma normal prenexa, es decir:
G = (Q
1
x
1
)(Q
2
x
2
) . . . (Q
n
x
n
)M[x
1
, x
2
, . . . , x
n
]
Sea Q
r
el primer cuanticador existencial de G y G
1
igual a:
G
1
= (x
1
) . . . (x
r1
)(Q
r+1
x
r+1
) . . . (Q
n
x
n
)
M[x
1
, . . . , x
r1
, f(x
1
, . . . , x
r1
), x
r+1
, . . . , x
n
]
con f la funcin de Skolem correspondiente a x
r
.
Se va a demostrar que Ges inconsistente si y slo si G
1
es inconsistente.
El razonamiento ser por reduccin al absurdo.
Csar I. G. Osorio 8 LSI Univ. de Burgos
Lgica 2.2 Forma normal de Skolem
G inconsistente G
1
inconsistente.
Sea G inconsistente y supongamos G
1
consistente. Por ser G
1
consis-
tente existe una interpretacin I tal que bajo esa interpretacin G
1
es
cierta. Es decir para todo x
1
, . . . , x
r1
existe al menos un elemento
del dominio, d
r
= f(x
1
, . . . , x
r1
), tal que la sentencia:
(Q
r+1
x
r+1
) . . . (Q
n
x
n
)M[x
1
, . . . , x
r1
, d
r
, x
r+1
, . . . , x
n
]
es cierta en I. Es decir la sentencia:
(Q
r+1
x
r+1
) . . . (Q
n
x
n
)M[x
1
, . . . , x
r1
, x
r
, x
r+1
, . . . , x
n
]
es cierta en I para todo x
1
, . . . , x
r1
y para algn x
r
(en concreto exis-
te el x
r
= d
r
). Esto es, G es cierto en I, lo que contradice la asuncin
de que G es inconsistente. Por tanto G
1
no puede ser consistente.
G
1
inconsistente G inconsistente.
Sea G
1
inconsistente y supongamos G consistente, por ser G consis-
tente existe una interpretacin I sobre un dominio D tal que G es
cierta bajo I. Es decir para todo x
1
, . . . , x
r1
existe un elemento x
r
tal que la sentencia:
(Q
r+1
x
r+1
) . . . (Q
n
x
n
)M[x
1
, . . . , x
r1
, x
r
, x
r+1
, . . . , x
n
]
es cierta en I. Extendamos la interpretacin I con una funcin f de
aridad (r1) que vaya de (x
1
, . . . , x
r1
) en x
r
para todo x
1
, . . . , x
r1
en D, es decir f(x
1
, . . . , x
r1
) = x
r
. Llamaremos I

a esta nueva
interpretacin. Con esta denicin est claro que la sentencia:
(Q
r+1
x
r+1
) . . . (Q
n
x
n
)M[x
1
, . . . , x
r1
, f(x
1
, . . . , x
r1
), x
r+1
, . . . , x
n
]
es cierta en I

para todo x
1
, . . . , x
r1
. Pero esto contradice la asuncin
de que G
1
fuera inconsistente. Por tanto G debe ser inconsistente.
La demostracin del teorema ya es inmediata, por induccin sobre el nmero
total de cuanticadores existenciales. Si m es el nmero total de cuantica-
dores existenciales, hacemos G
0
= G y G
k
ser la frmula obtenida a partir
de G
k1
reemplazando el primer cuanticador existencial por una funcin
de Skolem para k = 1, 2, . . . , m. Claramente G
s
= G
m
. La demostracin
por induccin sobre G
i
utiliza los mismos argumentos que el paso de G a
G
1
. Por tanto se concluye que G es inconsistente si y slo si G
s
es inconsis-
tente.
Csar I. G. Osorio 9 LSI Univ. de Burgos
Lgica REFERENCIAS
Sea G
s
la forma estndar de Skolem de una frmula G. Si G es inconsistente,
entonces por el teorema 1 G G
s
. Si G no es inconsistente, hay que hacer notar
que en general G no es equivalente a G
s
.
Ejemplo 6
Sea G = (x)P(x) y G
s
= P(a). Claramente G
s
es la forma estndar de
Skolem de G. Sin embargo, para la interpretacin I denida como:
Dominio:
D = {1, 2}
Asignacin para a:
a
1
Asignacin para P:
P(1) P(2)
F T
claramente, G es cierta en I, pero G
s
en falsa en I. Por tanto G = G
s
.
Es evidente que una frmula puede tener ms de una forma normal de Skolem,
por simplicidad cuando se transforma una frmula G en su forma estndar G
s
es
conveniente reemplazar los cuanticadores existenciales por funciones de Skolem
que sean lo ms simples posibles, esto signica que tengan el menor nmero de
variables posibles. Cuando se tiene una frmula como F = F
1
. . . F
n
, se
puede obtener el conjunto de clusulas S que representa la forma estndar de
Skolem de F hallando los conjuntos de clusulas S
i
que representan las formas
normales de Skolem de cada F
i
y calculando la unin de los mismos. Se tiene que
S = S
1
. . . S
n
. Usando argumentos similares a los dados en el teorema 1 no
es difcil ver que F es inconsistente si y slo si S es inconsistente.
Referencias
[CCT73] Chin-Liang Chang y Lee Richard Char-Tung. Symbolic Logic and
Mechanical Theorem Proving. Computer science classics. Academic
Press, 1973.
[LVDG91] Peter Lucas y Linda Van Der Gaag. Principles of expert systems.
Addison-Wesley, 1991.
Csar I. G. Osorio 10 LSI Univ. de Burgos