Formas Normais Prenex na Lgica de Predicados

Na lgica proposicional viu-se duas formas normais - a forma normal

conjuntiva e a forma norma disjuntiva.
Na lgica de predicados existe tambm uma forma normal chamada
de forma normal prenex.
A razo para utilizar uma forma normal prenex de uma frmula para
simplificar os mtodos de prova, que sero vistos mais adiante.
Definio: Uma frmula F na lgica de predicados dita estar em
uma forma normal prenex se e somente se a frmula F est na forma
de: (Q1 x1) ... (Qnxn)(M), onde todo (Qi xi), i = 1, ..., n, ( xi ) ou
( xi ) , e M uma frmula que no possui quantificadores.
(Q1 x1) ... (Qnxn) chamada de prefixo e M chamada de matriz da
frmula F.
Abaixo so mostradas algumas frmulas na forma normal prenex:
i.
ii.
iii.

( x) ( y) (P(x,y) Q(y))
( x) ( y) (~P(x,y) Q(y))
( x) ( y) ( z) (Q(x,y) R(z))

Dada uma frmula, ser visto agora um mtodo para transform-la na

forma normal prenex. Isto obtido considerando alguns pares de
frmulas equivalentes na lgica de predicados.

FG = (FG) (GF)
FG = ~F G
(a) F G = G F;
(b) F G = G F (leis comutativas)
(a) (F G) H = F (G H); (b) (F G) H = F (G H) (leis associativas)
(a) F (G H) = (F G) (F (b) F (G H) = (F G) (F H) (leis
distributivas)
H);
(1.6) (a) F = F;
(b) F n = F
(1.7) (a) F n = n;
(b) F =
(1.8) (a) F ~F = n;
(b) F ~F =
(1.9) ~(~F) = F
(1.10) (a) ~(F G) = ~F ~G;
(b) ~(F G) = ~F ~G (Leis de De Morgan)
Leis para Formao de Frmulas Equivalentes
(1.1)
(1.2)
(1.3)
(1.4)
(1.5)

Existem ainda outros pares de frmulas equivalentes que contm

quantificadores. Sero vistos agora esses pares adicionais de frmulas
equivalentes.
Seja F uma frmula contendo uma varivel x. Para salientar que a
varivel x est em F, representa-se F por F[x].
Seja G uma frmula que no contm a varivel x. Ento tem-se os
seguintes pares de frmulas equivalentes, onde Q ou . Para
simplificar, chama-se cada par abaixo de lei.
(2.1a)
(2.1b)
(2.2a)
(2.2b)

(Qx) F[x] G = (Qx) (F[x] G)

(Qx) F[x] G = (Qx) (F[x] G)
~(( x) F[x]) = ( x) (~F[x])
~(( x) F[x]) = ( x) (~F[x])

Lembrando que duas frmulas F e G so equivalentes, representados

por F = G, se e somente se os valores de F e G so os mesmos sob
todas as interpretaes.

As leis (2.1a) e (2.1b) so obviamente verdadeiras, desde que G no

contenha x e, portanto, possa ser trazido para dentro do escopo do
quantificador Q.

Os pares bsicos de frmulas equivalentes dados na tabela abaixo

ainda so vlidos para a lgica de predicados.

As leis (2.2a) e (2.2b) no so difceis de provar. As equivalncias j

foram mostradas anteriormente.
Supondo que F[x] e H[x] so duas frmulas contendo x. Existem duas
outras leis:
(2.3a)
(2.3b)

(x) F[x] (x) H[x] = (x) (F[x] H[x])

(x) F[x] (x ) H[x] = (x) (F[x] H[x]).

Isto , o quantificador universal e o quantificador existencial

podem distribuir-se sobre e , respectivamente.
Porm, o quantificador universal e o quantificador existencial no
podem distribuir-se sobre , e , respectivamente. Isto ,

Transformando Frmulas na Forma Normal Prenex

(x) F[x] (x) H[x] (x) (F[x] H[x]) e

(x) F[x] (x ) H[x] (x) (F[x] H[x]).
Para este caso, faz-se algo especial. Todas as variveis dependentes x
podem ser renomeadas para z, e a frmula (x) H[x] torna-se (z)
H[z] ; isto , (x) H[x] = (z) H[z].
Supondo que se escolha a varivel z que no aparece em F[x]. Ento,
(x) F[x] (x)H[x] = (x)F[x] (z) H[z]
(renomeando todos os x's ocorrentes em (x)H[x] para z)
= (x)(z)(F[x] H[z])
(por 2.1a)

Passo 1: Usar as leis F G = (F G) (G F)

(1.1)
FG=~FG
(1.2)
para eliminar os conetivos lgicos e .
Passo 2: Repetidamente usar a lei
~ (~F) = F
as leis de De Morgan
~ (F G) = ~F ~G
~ (F G) = ~F ~G
e as leis
~ ((x) F[x]) = (x) ( ~F[x])
~ ((x) F[x]) = (x) ( ~F[x])

(1.9),
(1.10a),
(1.10b),
(2.2a),
(2.2b),

para trazer o sinal de negao para a imediatamente antes dos

termos.

Da mesma forma, pode-se ter

(x) F[x] (x) H[x] = (x)F[x] (z) H[z]
(renomeando todos os x's ocorrentes em (x) H[x] para z)
= (x) (z) (F[x] H[z]) (por 2.1b)
Portanto, para esses dois casos, pode-se trazer todos
quantificadores para a esquerda da frmula. Em geral, tem-se:

Usando as leis (1.1) - (1.10) e as leis (2.1) - (2.4), pode-se sempre

transformar uma frmula na forma normal prenex. A seguir apresentase um resumo do procedimento de transformao.

os

(2.4a) (Q1x) F[x] (Q2x) H[x] = (Q1x)(Q2z) (F[x] H[z])

(2.4b) (Q3x) F[x] (Q4x) H[x] = (Q3x)(Q4z) (F[x] H[z])
onde Q1 , Q2, Q3 e Q4 so ou , e z no aparece em F[x].
claro que, se Q1 = Q2 = e Q3 = Q4 = , ento no necessrio
renomear os x's em Q2x H[x] ou Q4x H[x]. Pode-se usar (2.3)
diretamente.

Passo 3: Renomear as variveis dependentes se necessrio.

Passo 4: Usar as leis
(Qx) F[x] G = (Qx) (F[x] G)
(Qx) F[x] G = (Qx) (F[x] G)
(x) F[x] (x) H[x] = (x) (F[x] H[x])
(x) F[x] (x ) H[x] = (x) (F[x] H[x])
(Q1x) F[x] (Q2x) H[x] = (Q1x)(Q2z) (F[x] H[z])
(Q3x) F[x] (Q4x) H[x] = (Q3x)(Q4z) (F[x] H[z])

(2.1a),
(2.1b),
(2.3a),
(2.3b),
(2.4a),
(2.4b)

para mover os quantificadores para a esquerda de toda frmula para

obter uma forma normal prenex.
Exemplo 1.1: Transformar a frmula (x) P(x) (x) Q(x) na
forma normal prenex.

(x) P(x) (x) Q(x) = ~ ((x) P(x)) (x) Q(x)

= (x) (~P(x)) (x) Q(x)
= (x) (~P(x) Q(x))

por (1.2)
por (2.2a)
por (2.3b)

Portanto, a forma normal prenex de

(x) P(x) (x) Q(x) (x) (~P(x) Q(x)).
Exemplo 1.2: Obter a forma normal prenex para a frmula:
(x)(y) ((z) (P(x,z) P (y,z)) (u) Q(x,y,u)).
= (x)(y) (~((z) (P(x,z) P(y,z))) (u) Q(x,y,u)) por (1.2)
= (x)(y)((z) (~P(x,z) ~P(y,z)) (u) Q(x,y,u)) por
(2.2b) e (1.10b)
= (x)(y)(z)(u) (~P(x,z) ~P(y,z) Q(x,y,u)), usando
(2.1a), move-se os quantificadores para a esquerda, obtendo por fim a
forma normal prenex da primeira frmula.