Practico 5

Completitud de la L
ogica Proposicional

Luis Sierra

Instituto de Computaci
on

8 y 11 de abril

Luis Sierra (InCo) Pr

actico 5 Curso 2011 1 / 15
Correccion y completitud

Un calculo correcto
` = |=

Un calculo completo
|= = `

Un calculo correcto y completo

` |=
6` 6|=

Luis Sierra (InCo) Pr

actico 5 Curso 2011 2 / 15
Consistencia y satisfacibilidad

6`

Luis Sierra (InCo) Pr

actico 5 Curso 2011 3 / 15
Consistencia y satisfacibilidad

6`
(Consistencia y completitud)
6|=

Luis Sierra (InCo) Pr

actico 5 Curso 2011 3 / 15
Consistencia y satisfacibilidad

6`
(Consistencia y completitud)
6|=
(Def.)
(v : ( :: v () = 1) : v () = 0)

Luis Sierra (InCo) Pr

actico 5 Curso 2011 3 / 15
Consistencia y satisfacibilidad

6`
(Consistencia y completitud)
6|=
(Def.)
(v : ( :: v () = 1) : v () = 0)

(v :: ( :: v () = 1))

Luis Sierra (InCo) Pr

actico 5 Curso 2011 3 / 15
Consistencia y satisfacibilidad

6`
(Consistencia y completitud)
6|=
(Def.)
(v : ( :: v () = 1) : v () = 0)

(v :: ( :: v () = 1))
(Def.)
es satisfacible

Luis Sierra (InCo) Pr

actico 5 Curso 2011 3 / 15
Consistencia y satisfacibilidad

6`
(Consistencia y completitud)
6|=
(Def.)
(v : ( :: v () = 1) : v () = 0)

(v :: ( :: v () = 1))
(Def.)
es satisfacible

Pauta: investigar consistencia

Podemos averiguar la consistencia de un conjunto investigando su
satisfacibilidad.

Luis Sierra (InCo) Pr

actico 5 Curso 2011 3 / 15
Ejemplos

Es consistente {p1 p2 p0 , p0 p1 , p0 }?

Luis Sierra (InCo) Pr

actico 5 Curso 2011 4 / 15
Ejemplos

Es consistente {p1 p2 p0 , p0 p1 , p0 }?
{p1 p2 p0 , p0 p1 , p0 } es satisfacible

Luis Sierra (InCo) Pr

actico 5 Curso 2011 4 / 15
Ejemplos

Es consistente {p1 p2 p0 , p0 p1 , p0 }?
{p1 p2 p0 , p0 p1 , p0 } es satisfacible
(Def)
(v :: v (p1 p2 p0 ) = 1 y v (p0 p1 ) = 1 y v (p0 ) = 1)

Luis Sierra (InCo) Pr

actico 5 Curso 2011 4 / 15
Ejemplos

Es consistente {p1 p2 p0 , p0 p1 , p0 }?
{p1 p2 p0 , p0 p1 , p0 } es satisfacible
(Def)
(v :: v (p1 p2 p0 ) = 1 y v (p0 p1 ) = 1 y v (p0 ) = 1)
Consideremos la valuacion v tal que (i N :: v (pi ) = 1). Luego, . . .

Luis Sierra (InCo) Pr

actico 5 Curso 2011 4 / 15
Ejemplos

Es consistente {p1 p2 p0 , p0 p1 , p0 }?
{p1 p2 p0 , p0 p1 , p0 } es satisfacible
(Def)
(v :: v (p1 p2 p0 ) = 1 y v (p0 p1 ) = 1 y v (p0 ) = 1)
Consideremos la valuacion v tal que (i N :: v (pi ) = 1). Luego, . . .

Es consistente ?
es insatisfacible
(Def)
(v :: ( : : v () = 0))
Luego, . . .

Luis Sierra (InCo) Pr

actico 5 Curso 2011 4 / 15
Ejemplos

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?

Luis Sierra (InCo) Pr

actico 5 Curso 2011 5 / 15
Ejemplos

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 1). Luego, . . .

Luis Sierra (InCo) Pr

actico 5 Curso 2011 5 / 15
Ejemplos

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 1). Luego, . . .

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?

Luis Sierra (InCo) Pr

actico 5 Curso 2011 5 / 15
Ejemplos

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 1). Luego, . . .

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 1 i 6= 1).
Luego, . . .

Luis Sierra (InCo) Pr

actico 5 Curso 2011 5 / 15
Ejemplos

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 1). Luego, . . .

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 1 i 6= 1).
Luego, . . .

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?

Luis Sierra (InCo) Pr

actico 5 Curso 2011 5 / 15
Ejemplos

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 1). Luego, . . .

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 1 i 6= 1).
Luego, . . .

Es consistente
{p0 p1 , p0 p2 p1 p3 , p0 p2 p4 p1 p3 p5 , . . .}?
Consideremos la valuacion v tal que (i N :: v (pi ) = 0). Luego, . . .

Luis Sierra (InCo) Pr

actico 5 Curso 2011 5 / 15
Compacidad

Teorema de compacidad
6` ( : f : 6` )

Luis Sierra (InCo) Pr

actico 5 Curso 2011 6 / 15
Compacidad

Teorema de compacidad
6` ( : f : 6` )

` ( : f : ` )
es satisfacible ( : f : es satisfacible)
es insatisfacible ( : f : es insatisfacible)

Luis Sierra (InCo) Pr

actico 5 Curso 2011 6 / 15
Ejercicio 5

Considere un conjunto infinito {1 , 2 , . . .}. Demuestre que

(v :: (n :: v (n ) = 1))
=

=
(m :: ` (1 2 . . . m ))

Luis Sierra (InCo) Pr

actico 5 Curso 2011 7 / 15
Ejercicio 5

Considere un conjunto infinito {1 , 2 , . . .}. Demuestre que

(v :: (n :: v (n ) = 1))
=
(v :: (n :: v (n ) = 0))
=

=
(m :: {1 , 2 , . . . , m } ` )
=
(m :: ` (1 2 . . . m ))

Luis Sierra (InCo) Pr

actico 5 Curso 2011 7 / 15
Ejercicio 5

Considere un conjunto infinito {1 , 2 , . . .}. Demuestre que

(v :: (n :: v (n ) = 1))
=
(v :: (n :: v (n ) = 0))
=
{1 , 2 , . . .} es insatisfacible
= (Completitud)
{1 , 2 , . . .} `
=

=
(m :: {1 , 2 , . . . , m } ` )
=
(m :: ` (1 2 . . . m ))

Luis Sierra (InCo) Pr

actico 5 Curso 2011 7 / 15
Ejercicio 5

Considere un conjunto infinito {1 , 2 , . . .}. Demuestre que

(v :: (n :: v (n ) = 1))
=
(v :: (n :: v (n ) = 0))
=
{1 , 2 , . . .} es insatisfacible
= (Completitud)
{1 , 2 , . . .} `
= (Compacidad)
(i1 , i2 , . . . m :: {i1 , i2 , . . . , m } ` )
=
(m :: {1 , 2 , . . . , m } ` )
=
(m :: ` (1 2 . . . m ))

Luis Sierra (InCo) Pr

actico 5 Curso 2011 7 / 15
Ejercicio 6

Sea consistente:

es consistente maximal ( :: o )

Directo
6
= (maximalidad)
{} `
= (1.6.5.ii)
`
= (1.6.8, teora)

Luis Sierra (InCo) Pr

actico 5 Curso 2011 8 / 15
Ejercicio 6

Sea consistente:

es consistente maximal ( :: o )

Directo
6 Pauta: logica y matematicas
= (maximalidad)
El teorema tiene la forma
{} `
(x :: (x) o (x))
= (1.6.5.ii)
El directo tiene la forma
`
(x : y (x) : (x))
= (1.6.8, teora)

Luis Sierra (InCo) Pr

actico 5 Curso 2011 8 / 15
Ejercicio 6

Sea consistente:

es consistente maximal ( :: o )

Contrario
6 6
= (hip.) = (hip.)

= (E ) = (E )
{} ` {} `

Luis Sierra (InCo) Pr

actico 5 Curso 2011 9 / 15
Ejercicio 8

Prueba
Cons() es consistente maximal

( :: Cons() o Cons())

( :: ` o ` )

es completo

Luis Sierra (InCo) Pr

actico 5 Curso 2011 10 / 15
Ejercicio 10

Demuestre que es consistente maximal si y s olo si es una teora y

ademas existe una u
nica valuaci
on v tal que v () = 1.

Luis Sierra (InCo) Pr

actico 5 Curso 2011 11 / 15
Ejercicio 10

Demuestre que es consistente maximal si y s olo si es una teora y

ademas existe una u
nica valuacion v tal que v () = 1.
:= es consistente maximal
:= es una teora
:= existe una unica valuaci
on v tal que v () = 1

Luis Sierra (InCo) Pr

actico 5 Curso 2011 11 / 15
Ejercicio 10

Demuestre que es consistente maximal si y s olo si es una teora y

ademas existe una u
nica valuacion v tal que v () = 1.
:= es consistente y maximal
:= 1 y 2
:= es una teora
:= existe una unica valuaci
on v tal que v () = 1
y

Luis Sierra (InCo) Pr

actico 5 Curso 2011 11 / 15
Ejercicio 10

Demuestre que es consistente maximal si y s olo si es una teora y

ademas existe una u
nica valuacion v tal que v () = 1.
:= es consistente y maximal
:= 1 y 2
:= es una teora
:= existe una unica valuaci
on v tal que v () = 1
y

|=

Luis Sierra (InCo) Pr

actico 5 Curso 2011 11 / 15
Ejercicio 10

Demuestre que es consistente maximal si y s olo si es una teora y

ademas existe una u
nica valuacion v tal que v () = 1.
:= es consistente y maximal
:= 1 y 2
:= es una teora
:= existe una unica valuaci
on v tal que v () = 1
y

|=

, , 1 , 2 |=

Luis Sierra (InCo) Pr

actico 5 Curso 2011 11 / 15
Ejercicio 10

Demuestre que es consistente maximal si y s olo si es una teora y

ademas existe una u
nica valuacion v tal que v () = 1.
:= es consistente y maximal
:= 1 y 2
:= es una teora
:= existe una unica valuaci
on v tal que v () = 1
y

|=

, , 1 , 2 |=
= lema 1.6.8
= a probar
1 = satisfacibilidad implica consistencia
2 = a probar
Luis Sierra (InCo) Pr
actico 5 Curso 2011 11 / 15
Si es consistente maximal, entonces existe una unica
valuacion v tal que v () = 1

v () = 1 y w () = 1
=
(pi :: v (pi ) = 1 pi ) y (pi :: w (pi ) = 1 pi )
= (Teo 1.2.2)
v =w

Luis Sierra (InCo) Pr

actico 5 Curso 2011 12 / 15
Si es consistente maximal, entonces existe una unica
valuacion v tal que v () = 1

v () = 1 y w () = 1
=
(pi :: v (pi ) = 1 pi ) y (pi :: w (pi ) = 1 pi )
= (Teo 1.2.2)
v =w

Pauta: Valuaciones
Puede ser util encontrar que ciertos conjuntos tienen una u
nica valuacion
que los satisface.

Luis Sierra (InCo) Pr

actico 5 Curso 2011 12 / 15
Si es una teora con una unica valuacion que la satisface,
entonces es maximal

Luis Sierra (InCo) Pr

actico 5 Curso 2011 13 / 15
Si es una teora con una unica valuacion que la satisface,
entonces es maximal

2
Sean w una valuacion y una f
ormula; luego

w () = 1 y w ()
= (w es u nica)
|=
= (completitud)
`
= (teora)
.

Luis Sierra (InCo) Pr

actico 5 Curso 2011 13 / 15
Parcial 2006: primera parte

Sea P el conjunto de las letras proposicionales. Para cada I N se define

L(I ) = {pi : i I } {pi : i 6 I }.

L({2}) {p0 } `
Como 0 6= 2, entonces p0 L({2}) L({2}) {p0 }. Ademas,
p0 L({2}) {p0 }. La siguiente derivaci
on justifica lo pedido:
p0 p0
E

Luis Sierra (InCo) Pr

actico 5 Curso 2011 14 / 15
Parcial 2006: segunda parte

Sea P el conjunto de las letras proposicionales. Para cada I N se define

L(I ) = {pi : i I } {pi : i 6 I }.

(I N :: Cons(L(I )) es consistente maximal)

Sea un subconjunto de naturales I . El Ejercicio 10 nos asegura que basta
con mostrar que Cons(L(I )) es una teora y que existe una u
nica valuacion
que la satisface. Probaremos las dos condiciones.

Luis Sierra (InCo) Pr

actico 5 Curso 2011 15 / 15
Parcial 2006: segunda parte

Sea P el conjunto de las letras proposicionales. Para cada I N se define

L(I ) = {pi : i I } {pi : i 6 I }.

(I N :: Cons(L(I )) es consistente maximal)

Sea un subconjunto de naturales I . El Ejercicio 10 nos asegura que basta
con mostrar que Cons(L(I )) es una teora y que existe una u
nica valuacion
que la satisface. Probaremos las dos condiciones.
Teora.
1 2 . . . . n
..
.

Luis Sierra (InCo) Pr

actico 5 Curso 2011 15 / 15
Parcial 2006: segunda parte

Sea P el conjunto de las letras proposicionales. Para cada I N se define

L(I ) = {pi : i I } {pi : i 6 I }.

(I N :: Cons(L(I )) es consistente maximal)

Sea un subconjunto de naturales I . El Ejercicio 10 nos asegura que basta
con mostrar que Cons(L(I )) es una teora y que existe una u
nica valuacion
que la satisface. Probaremos las dos condiciones.
Teora.
11 . . . 1m1 21 . . . 2m2 n1 . . . nmn
.. .. ..
.. .. ..
1 2 . ... n
..
.

Luis Sierra (InCo) Pr

actico 5 Curso 2011 15 / 15
Parcial 2006: segunda parte

Sea P el conjunto de las letras proposicionales. Para cada I N se define

L(I ) = {pi : i I } {pi : i 6 I }.

(I N :: Cons(L(I )) es consistente maximal)

Sea un subconjunto de naturales I . El Ejercicio 10 nos asegura que basta
con mostrar que Cons(L(I )) es una teora y que existe una u
nica valuacion
que la satisface. Probaremos las dos condiciones.
Teora.
11 . . . 1m1 21 . . . 2m2 n1 . . . nmn
.. .. ..
.. .. ..
1 2 . ... n
..
.

on v tal que v (pi ) = 1 i I .
Valuacion Consideremos la valuaci

Luis Sierra (InCo) Pr

actico 5 Curso 2011 15 / 15