Está en la página 1de 7

Tema 7

Formas Normales. Cláusulas


Lógica de Primer Orden

Antonio de J. Pérez Jiménez

Departamento Ccia.

Lógica Informática

Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 7 Formas Normales. Cláusulas LI-06/07 1/1
Formas Prenex

• Si F y G son cerradas, entonces F ≡ G si y sólo si tienen los mismos modelos.


• Sean F , G y G 0 fórmulas de L tales que G 0 ≡ G . Si F 0 se obtiene sustituyendo
en F estancias de G por G 0 , entonces, F ≡ F 0 .
Definición Diremos que una fórmula F está en forma prenex si su expresión es
de la forma:
Q1 x 1 . . . Q n x n G
donde los Qi son cuantificadores y G es abierta (la llamaremos matriz de F ).
N Operaciones prenex
Operación Subf. Cambiar por Restricción
Renombrar ∃xψ ∃y (ψ[x/y ]) y∈
/ Var(ψ)
Trasladar ¬∃xψ ∀x¬ψ
negación ¬∀xψ ∃x¬ψ
∃xψ ∨ θ ∃x(ψ ∨ θ) x∈
/ VL(θ)
Agrupar ψ ∨ ∃xθ ∃x(ψ ∨ θ) x∈
/ VL(ψ)
∀xψ ∨ θ ∀x(ψ ∨ θ) x∈
/ VL(θ)
ψ ∨ ∀xθ ∀x(ψ ∨ θ) x∈
/ VL(ψ)

Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 7 Formas Normales. Cláusulas LI-06/07 2/1
Formas Prenex (II)
Teniendo en cuenta que las conectivas ∧, → y ↔, son abreviaturas de ¬ y ∨
obtenemos las restantes reglas para las operaciones prenex:

Subfórmula Cambiar por Restricción


∃xψ → θ ∀x(ψ → θ) x∈/ VL(θ)
∀xψ → θ ∃x(ψ → θ) x∈/ VL(θ)
ψ → ∃xθ ∃x(ψ → θ) x∈/ VL(ψ)
ψ → ∀xθ ∀x(ψ → θ) x∈/ VL(ψ)
∃xψ ∧ θ ∃x(ψ ∧ θ) x∈/ VL(θ)
ψ ∧ ∃xθ ∃x(ψ ∧ θ) x∈/ VL(ψ)
∀xψ ∧ θ ∀x(ψ ∧ θ) x∈/ VL(θ)
ψ ∧ ∀xθ ∀x(ψ ∧ θ) x∈/ VL(ψ)

Teorema: Toda fórmula F es equivalente a otra F 0 en forma prenex.


Ejemplo : ∀x(P(x) ∨ ∃yQ(x.y )) ∧ (∀zP(z) → ¬∀z∃xQ(x, z)) ≡
∀x(P(x) ∨ ∃yQ(x.y )) ∧ (∀zP(z) → ∃z∀x¬Q(x, z)) ≡
∀x(P(x) ∨ ∃yQ(x.y )) ∧ (∀zP(z) → ∃t∀u¬Q(u, t)) ≡
(∀x∃y(P(x) ∨ Q(x, y )) ∧ ∃z∃t∀u(P(z) → ¬Q(u, t)) ≡
∀x∃y∃z∃t∀u[(P(x) ∨ Q(x, y ) ∧ (P(z) → ¬Q(u, t))]
Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 7 Formas Normales. Cláusulas LI-06/07 3/1
Formas Normales
Definición
Una fórmula es un literal si es atómica o es la negación de una fórmula
atómica.
Una fórmula abierta está en f.n.c si es una conjunción de disyunciones de
literales.
Una forma prenex esté en f.n.c. si lo está su matriz.
Una forma prenex esté en f.n.d. si lo está su matriz..

N Si F es una fórmula abierta, existen una F 0 en f.n.c. y otra F 00 en f.n.d. tales


que F ≡ F 0 ≡ F 00 .
N Para cada fórmula F existen Fc y Fd tales que
F ≡ Fc ≡ Fd donde,
Fc es Q1 x1 . . . Qn xn Gc siendo Gc una fórmula abierta, en forma normal
conjuntiva.
Fc es Q10 y1 . . . Qm
0
ym Gd siendo Gd una fórmula abierta, en forma normal
disyuntiva.

Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 7 Formas Normales. Cláusulas LI-06/07 4/1
Formas de Skolem

Definición Una fórmula F diremos que está en forma de Skolem si está en


forma prenex y carece de cuantificadores existenciales.
Definición Dos fórmulas F y F 0 diremos que son equisatisfactible, y escribiremos
F ∼ F 0 , si ambas son satisfactibles.
De manera análoga se define la equisatisfactibilidad de dos conjuntos de fórmulas.
N Sea F una fórmula y x una variable libre de la misma; entonces se verifica:
F ∼ ∃xϕ
Definición Un LPO L0 es extensión de otro L si todos los sı́mbolos no lógicos de L
lo son de L0 .
N Sea L un LPO, f un nuevo sı́mbolo de función de aridad n ≥ 1 y c un nuevo
sı́mbolo de constante. En el lenguaje extensión L0 se verifica:
• ∃y ψ ∼ ψ[y /c]
• ∀x1 . . . ∀xn ∃y ϕ ∼ ∀x1 ..∀xn ϕ[y /f (x1 , .., xn )]

N Para cada fórmula F de L existe un lenguaje L0 , extensión de L, y una fórmula


FS de L0 (llamada la forma de Skolem de F ) tal que F ∼ FS

Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 7 Formas Normales. Cláusulas LI-06/07 5/1
Cláusulas
• Una cláusula es un conjunto de literales {L1 , ..., Lk }.
• Si {L1 , ..., Lk } es un cláusula, con variables libres x1 , ..., xn , su cierre universal
∀x1 , ..., ∀xn (L1 ∨ ... ∨ Lk ), será la fórmula asociada a dicha cláusula.
• Si {C1 , ..., Cr } es un conjunto de cláusulas, con variables libres x1 , ..., xm ,
diremos que ∀x1 , ..., ∀xm (C1 ∧ ... ∧ Cr ), es la fórmula asociada a dicho conjunto de
cláusulas.
N Sea L un LPO y F una fórmula de L. Existe un conjunto finito de cláusulas, Σ,
tal que F ∼ Σ.
Diremos que Σ es una forma clausal asociada a dicha fórmula.
N Sea L un LPO y U = {F1 , ..., Fn } un conjunto de fórmulas de L. Existe un
conjunto finito de cláusulas, Σ, tal que U ∼ Σ.
Diremos que Σ es una forma clausal asociada a dicho conjunto de fórmulas.
Consecuencia lógica y cláusulas.
N Sea U un conjunto de fórmulas, con forma clausal Σ, y F una fórmula tal que
S es una forma clausal de su negación, ¬F . Entonces:

U |= F ⇔ Σ ∪ S es inconsistente

Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 7 Formas Normales. Cláusulas LI-06/07 6/1
Ejemplo

Sea F la fórmula: ∃x∀yR(x, y ) −→ (∃xP(x) ∧ ∀yQ(y )). Obtengamos su forma


clausal asociada, Σ.

∃x∀yR(x, y ) −→ (∃xP(x) ∧ ∀yQ(y ))


≡ ∃x∀yR(x, y ) −→ (∃zP(z) ∧ ∀wQ(w ))
≡ ¬(∃x∀yR(x, y )) ∨ (∃zP(z) ∧ ∀wQ(w ))
≡ (∀x¬∀yR(x, y )) ∨ (∃zP(z) ∧ ∀wQ(w ))
≡ (∀x∃y ¬R(x, y )) ∨ (∃zP(z) ∧ ∀wQ(w ))
≡ ∀x∃y (¬R(x, y )) ∨ ∃z∀w (P(z) ∧ Q(w ))
≡ ∃z∀x∃y ∀w (¬R(x, y ) ∨ (P(z) ∧ Q(w )))
∼ ∀x∃y ∀w (¬R(x, y ) ∨ (P(a) ∧ Q(w )))
∼ ∀x∀w (¬R(x, f (x)) ∨ (P(a) ∧ Q(w )))
≡ ∀x∀w ([¬R(x, f (x)) ∨ P(a)] ∧ [¬R(x, f (x)) ∨ Q(w )])

Es decir, Σ = {¬R(x, f (x)) ∨ P(a), ¬R(x, f (x)) ∨ Q(w )}


es el conjunto de cláusulas asociado a F .

Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 7 Formas Normales. Cláusulas LI-06/07 7/1