Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LP
LP
IIC2213
IIC2213
L
ogica Proposicional
1 / 56
Inicio de la Logica
Originalmente, la Logica trataba con argumentos en el lenguaje
natural.
Ejemplo
Es el siguiente argumento v
alido?
Todos los hombres son mortales.
S
ocrates es hombre.
Por lo tanto, S
ocrates es mortal.
La l
ogica debera poder usarse para demostrar que s.
IIC2213
L
ogica Proposicional
2 / 56
Inicio de la Logica
Ejemplo
Que pasa con el siguiente caso?
Algunas personas son mujeres.
S
ocrates es una persona.
Por lo tanto, S
ocrates es mujer.
IIC2213
L
ogica Proposicional
3 / 56
Inicio de la Logica
IIC2213
L
ogica Proposicional
4 / 56
Un da de la pr
oxima semana les voy a hacer una interrogaci
on,
y les aseguro que el da que se las haga van a estar sorprendidos.
IIC2213
L
ogica Proposicional
5 / 56
IIC2213
L
ogica Proposicional
6 / 56
Sea B el siguiente n
umero natural:
El primer n
umero natural que no puede ser definido por una
oraci
on con a lo mas cincuenta palabras tomadas del Diccionario de la Real Academia.
IIC2213
L
ogica Proposicional
7 / 56
IIC2213
L
ogica Proposicional
8 / 56
IIC2213
L
ogica Proposicional
9 / 56
IIC2213
L
ogica Proposicional
10 / 56
IIC2213
L
ogica Proposicional
11 / 56
Ejemplo
P = {socrates es hombre, socrates es mortal }.
IIC2213
L
ogica Proposicional
12 / 56
Conectivos l
ogicos son usados para construir expresiones que
tambien pueden ser verdaderas o falsas.
Ejemplo
socrates es hombre socrates es mortal
socrates es hombre ( socrates es mortal )
Smbolos de puntuaci
on son usados para evitar ambig
uedades.
IIC2213
L
ogica Proposicional
13 / 56
Definicion
L(P) es el menor conjunto que satisface las siguientes reglas:
1. P L(P).
2. Si L(P), entonces () L(P).
3. Si , L(P), entonces ( ) L(P), ( ) L(P),
( ) L(P) y ( ) L(P).
Ejercicio
Verifique que ((p) (q r )) es una formula.
IIC2213
L
ogica Proposicional
14 / 56
La naturaleza de la definici
on es inductiva.
- Permite construir programas recursivos para chequear si una
f
ormula esta bien construida.
- Permite definir inductivamente conceptos asociados a las formulas.
- Permite demostrar inductivamente propiedades de las formulas.
IIC2213
L
ogica Proposicional
15 / 56
Definiciones inductivas
Queremos definir una funcion la que indica cuantos smbolos tiene
una formula: la((p q)) = 5.
Caso base
Caso inductivo
Ejercicio
Defina las funciones pi y pd que indican cuales son los numeros de
parentesis izquierdos y derechos en una f
ormula, respectivamente.
IIC2213
L
ogica Proposicional
16 / 56
Demostraciones inductivas
C
omo podemos demostrar esto?
Podemos usar induccion ...
IIC2213
L
ogica Proposicional
17 / 56
:
:
0 A,
si n A, entonces n + 1 A,
se tiene que A = N.
Este principio se usa para demostrar que los naturales tienen
alguna propiedad. Por que funciona?
Ejercicio
Dar un principio de inducci
on para las formulas de un lenguaje
proposicional L(P).
IIC2213
L
ogica Proposicional
18 / 56
:
:
p A, para cada p P,
si , A, entonces () A y
() A, donde {, , , },
Ejercicio
Demuestre que cada formula contiene el mismo n
umero de
parentesis izquierdos y derechos.
IIC2213
L
ogica Proposicional
19 / 56
IIC2213
L
ogica Proposicional
20 / 56
Ejercicio
Demuestre el teorema de Lectura u
nica.
IIC2213
L
ogica Proposicional
21 / 56
C
omo podemos determinar si una formula es verdadera o falsa?
Este valor de verdad depende de los valores de verdad asignados a
las variables proposicionales y de los conectivos utilizados.
Valuacion (asignacion):
: P {0, 1}.
Ejemplo
(socrates es hombre) = 1 y (socrates es mortal ) = 0.
IIC2213
L
ogica Proposicional
22 / 56
Semantica: Definicion
Dado : P {0, 1}, queremos extender :
Definicion
Dado L(P),
- Si = p, entonces
() := (p).
- Si = (), entonces
() =
- Si = ( ), entonces
(
() =
IIC2213
L
ogica Proposicional
1
0
1 si
() = 0
0 si
() = 1
si
() = 1 o
() = 1
si
() = 0 y
() = 0
23 / 56
1
0
si
() = 1 y
() = 1
si
() = 0 o
() = 0
- Si = ( ), entonces
(
1
() =
0
si
() = 0 o
() = 1
si
() = 1 y
() = 0
() =
- Si = ( ), entonces
() =
1 si
() =
()
0 si
() 6=
()
L
ogica Proposicional
24 / 56
Semantica: Ejemplos
IIC2213
L
ogica Proposicional
25 / 56
Equivalencia de formulas
Definicion
Dos formulas , son equivalentes si para toda valuaci
on se
tiene que () = ().
Notacion: .
Algunas equivalencias u
tiles:
(( ))
(( ))
( ( ))
( ( ))
IIC2213
L
ogica Proposicional
(() ())
(() ())
(( ) )
(( ) )
( )
( )
(())
(() )
(( ) ( ))
26 / 56
Equivalencia de formulas
Ejercicio
Es asociativo? Vale decir, Es cierto que
( ) ( )?
IIC2213
L
ogica Proposicional
27 / 56
Tablas de verdad
Cada formula se puede representar y analizar en una tabla de
verdad.
p
0
0
1
1
q
0
1
0
1
p
1
1
0
0
pq
0
1
1
1
pq
0
0
0
1
pq
1
1
0
1
pq
1
0
0
1
Ejercicio
Suponga que P = {p, q}. Cuantas f
ormulas contiene L(P)? Cuantas
formulas no equivalentes contiene este conjunto?
IIC2213
L
ogica Proposicional
28 / 56
Conectivos ternarios
Queremos definir el conectivo l
ogico: si p entonces q si no r .
p
0
0
0
0
1
1
1
1
q
0
0
1
1
0
0
1
1
r
0
1
0
1
0
1
0
1
si p entonces q si no r
0
1
0
1
0
0
1
1
C
omo se puede representar este conectivo usando , y ?
IIC2213
L
ogica Proposicional
29 / 56
q
0
0
1
1
0
0
1
1
r
0
1
0
1
0
1
0
1
si p entonces q si no r
0
1
0
1
0
0
1
1
(p q) ((p) r )
0
1
0
1
0
0
1
1
IIC2213
L
ogica Proposicional
30 / 56
Conectivos n-arios
p2
0
0
..
.
pn1
0
0
..
.
pn
0
1
..
.
C (p1 , p2 , . . . , pn1 , pn )
b1
b2
..
.
b2 n
IIC2213
L
ogica Proposicional
31 / 56
Conectivos n-arios
Veamos un ejemplo: C1 (p, q, r , s).
p
0
0
0
0
0
0
0
0
q
0
0
0
0
1
1
1
1
r
0
0
1
1
0
0
1
1
s
0
1
0
1
0
1
0
1
C1 (p, q, r , s)
0
1
0
0
0
0
1
0
p
1
1
1
1
1
1
1
1
q
0
0
0
0
1
1
1
1
r
0
0
1
1
0
0
1
1
s
0
1
0
1
0
1
0
1
C1 (p, q, r , s)
1
0
0
0
0
0
1
0
C
omo definimos C1 (p, q, r , s) usando , , , y ?
IIC2213
L
ogica Proposicional
32 / 56
Conectivos n-arios
Soluci
on: C1 (p, q, r , s) es equivalente a la siguiente formula
((p) (q) (r ) s) ((p) q r (s))
(p (q) (r ) (s)) (p q r (s))
Notacion
Desde ahora en adelante tiene mayor precedencia que los
conectivos binarios. As por ejemplo, (p) q es lo mismo que
p q y la formula anterior es lo mismo que:
(p q r s) (p q r s)
(p q r s) (p q r s)
IIC2213
L
ogica Proposicional
33 / 56
Conectivos n-arios
Soluci
on a nuestro problema original:
Suponiendo que i es la valuaci
on correspondiente a la fila i de la
tabla de verdad de C (p1 , . . . , pn ), este conectivo es equivalente a:
_ ^
^
pk
.
pj
i : bi =1
j : i (pj )=1
k : i (pk )=0
Conclusion
Basta con los conectivos l
ogicos , , para representar cualquier
tabla de verdad.
IIC2213
L
ogica Proposicional
34 / 56
Ejercicio
- Demuestre que {, } es funcionalmente completo.
- Es {, , , } funcionalmente completo?
*Ejercicio
Es {, } funcionalmente completo?
IIC2213
L
ogica Proposicional
35 / 56
Formas normales
Decimos que una formula est
a en forma normal disyuntiva
(DNF) si es de la forma:
ni
m ^
_
i =1
j=1
li ,j ,
Ejemplo
(p q) (p r ).
Teorema
Toda formula es equivalente a una formula en DNF.
Ya demostramos este teorema, Cierto?
IIC2213
L
ogica Proposicional
36 / 56
Formas normales
Decimos que una formula est
a en forma normal conjuntiva
(CNF) si es de la forma:
ni
m _
^
i =1
j=1
li ,j ,
Ejemplo
(p q) (p r s) (r s).
Teorema
Toda formula es equivalente a una formula en CNF.
C
omo se demuestre el teorema?
IIC2213
L
ogica Proposicional
37 / 56
Definicion
es consecuencia l
ogica de si para cada valuaci
on tal que
() = 1, se tiene que () = 1.
Notacion: |= .
IIC2213
L
ogica Proposicional
38 / 56
Ejercicio
- Demuestre que si |= , entonces |= y |= .
- Es cierto que si |= , entonces |= o |= ?
IIC2213
L
ogica Proposicional
39 / 56
Teorema de monotona
Teorema (Monotona)
Si |= , entonces para cada formula se tiene que {} |= .
Ejercicio
Demuestre el teorema de monotona.
Puede usarse la l
ogica proposicional para modelar razonamiento
con sentido com
un?
IIC2213
L
ogica Proposicional
40 / 56
IIC2213
L
ogica Proposicional
41 / 56
Notacion
Dado un conjunto de variables proposicionales P
- modelos(): Conjunto de las valuaciones de P que satisfacen .
- (1 , 2 ): Conjunto de las variables proposicionales p P tales que
1 (p) 6= 2 (p).
Ejemplo
Si P = {p, q}, 1 (p) = 1, 1 (q) = 1, 2 (p) = 1 2 (q) = 0,
entonces (1 , 2 ) = {q}.
(1 , 2 ) mide la distancia entre 1 y 2 .
IIC2213
L
ogica Proposicional
42 / 56
IIC2213
L
ogica Proposicional
43 / 56
IIC2213
L
ogica Proposicional
44 / 56
= {q}
= {p, q}
= {1 }
= {1 }
Resultado: {p, p q} q = p q.
IIC2213
L
ogica Proposicional
45 / 56
El problema de satisfaccion
Definicion
Un conjunto de formulas es satisfacible si existe una valuaci
on
tal que () = 1. En caso contrario, es inconsistente.
Teorema
|= si y solo si {} es inconsistente.
Ejercicio
Demuestre el teorema.
IIC2213
L
ogica Proposicional
46 / 56
El problema de satisfaccion
El teorema anterior nos permite reducir el problema de verificar si
|= al problema de verificar si {} es inconsistente.
Ejercicio
Demuestre que la reducci
on inversa tambien es posible. Vale decir,
encuentre una formula tal que es satisfacible si y s
olo si 6|= .
IIC2213
L
ogica Proposicional
47 / 56
El problema de satisfaccion
IIC2213
L
ogica Proposicional
48 / 56
10121 segundos.
L
ogica Proposicional
49 / 56
Ejemplo
p p.
Ejercicio
Sea un conjunto finito de formulas. Demuestre que el problema
de verificar si |= puede reducirse al problema de verificar si
una formula es una tautologa.
Puede ser infinito? Que sucede en este caso?
IIC2213
L
ogica Proposicional
50 / 56
Teorema de compacidad
Definicion
Un conjunto de formulas es finitamente satisfacible si cada
subconjunto finito de es satisfacible.
Ejemplo
El conjunto = {p0 } {pi pi +1 | i N} es finitamente
satisfacible.
Es satisfacible?
Teorema (Compacidad)
Un conjunto de formulas es satisfacible si y s
olo si es finitamente
satisfacible.
IIC2213
L
ogica Proposicional
51 / 56
Lema
Sea L(P) finitamente satisfacible y p P. Entonces {p}
es finitamente satisfacible o {p} es finitamente satisfacible.
Pueden ser ambos finitamente satisfacibles?
Ejercicio
Demuestre el lema.
IIC2213
L
ogica Proposicional
52 / 56
Finalmente: =
i .
i N
IIC2213
L
ogica Proposicional
53 / 56
IIC2213
L
ogica Proposicional
54 / 56
IIC2213
L
ogica Proposicional
55 / 56
Corolario
|= si y solo si existe un subconjunto finito de tal que
|= .
Ejercicio
Demuestre el corolario.
IIC2213
L
ogica Proposicional
56 / 56