Lgica Proposicional o

IIC2212

IIC2212

Lgica Proposicional o

1 / 56

Inicio de la Lgica o

Originalmente, la Lgica trataba con argumentos en el lenguaje o natural.

Ejemplo
Es el siguiente argumento vlido? a Todos los hombres son mortales. Scrates es hombre. o Por lo tanto, Scrates es mortal. o

La lgica deber poder usarse para demostrar que s o a .

IIC2212

Lgica Proposicional o

2 / 56

Inicio de la Lgica o

Ejemplo
Qu pasa con el siguiente caso? e Algunas personas son mujeres. Scrates es una persona. o Por lo tanto, Scrates es mujer. o

En este caso deber amos decir que el argumento no es vlido. a

IIC2212

Lgica Proposicional o

3 / 56

Inicio de la Lgica o

Pero los argumentos pueden ser ms complejos ... a Creo que todos los hombres son mortales. Creo que Scrates es hombre. o Por lo tanto, creo que Scrates es mortal. o Es este argumento vlido? Por qu? a e Qu signica creo? Qu pasar si reemplazamos creo que por no e e a se si?

IIC2212

Lgica Proposicional o

4 / 56

Paradojas en el lenguaje natural

Un d de la prxima semana les voy a hacer una interrogacin, a o o y les aseguro que el d que se las haga van a estar sorprendidos. a

Qu d voy a hacer la interrogacin? e a o

IIC2212

Lgica Proposicional o

5 / 56

Matemtica en el lenguaje natural: Paradoja de Berry a

Podemos representar los nmeros naturales usando oraciones del u lenguaje natural: Mil quinientos veinte, el primer nmero, ... u El nmero de palabras en el Diccionario de la Real Academia es u nito. El nmero de oraciones con a los ms 50 palabras tambin es nito. u a e

IIC2212

Lgica Proposicional o

6 / 56

Matemtica en el lenguaje natural: Paradoja de Berry a

Sea B el siguiente nmero natural: u El primer nmero natural que no puede ser denido por una u oracin con a lo ms cincuenta palabras tomadas del Diccionao a rio de la Real Academia.

B est bien denido, pero con slo 25 palabras. Tenemos una a o contradiccin! o Qu pas? e o

IIC2212

Lgica Proposicional o

7 / 56

Ms paradojas: Russell (1902) a

Tambin pueden aparecer paradojas usando lenguaje matemtico. e a Sea A = {1, 2, 3} A A? No. Sea B = {{1, 2, 3}, {4, 5}} A B? S . B B? No.

IIC2212

Lgica Proposicional o

8 / 56

Ms paradojas: Russell (1902) a

Sea C el conjunto de todos los conjuntos que tienen a lo menos dos elementos: C = {A, B, . . .} C C ? S . Entonces podemos denir el siguiente conjunto: U = {X | X X }. Tenemos: A U, B U, C U. U U? Por denicin, U U si y slo si U U. Tenemos una o o contradiccin! o Cmo denimos la nocin de conjunto? o o

IIC2212

Lgica Proposicional o

9 / 56

Por qu necesitamos la Lgica? e o

Necesitamos un lenguaje con una sintaxis precisa y una semntica a bien denida. Queremos usar este lenguaje en matemticas. a
- Denicin de objetos matemticos: conjunto, nmeros naturales, o a u nmeros reales. u - Denicin de teor matemticas: teor de conjuntos, teor de los o as a a a nmero naturales. u - Denicin del concepto de demostracin. o o

Tambin queremos usar este lenguaje en computacin. Por qu? e o e

IIC2212

Lgica Proposicional o

10 / 56

Por qu necesitamos la Lgica en computacin? e o o

Algunas aplicaciones:
- Bases de datos: Lenguajes de consulta, lenguajes para restricciones de integridad. - Inteligencia articial: Representacin de conocimiento, razonamiento o con sentido comn. u - Ingenier de software: Especicacin de sistemas (lenguaje Z ), a o vericacin de propiedades. o - Teor de la computacin: complejidad descriptiva, algoritmos de a o aproximacin. o - Criptograf vericacin de protocolos criptogrcos. a: o a - Procesamiento de lenguaje natural. - ...

IIC2212

Lgica Proposicional o

11 / 56

Lgica Proposicional: Sintaxis o

Tenemos los siguientes elementos:
- Variables proposicionales (P): p, q, r , . . . - Conectivos lgicos: , , , , o - S mbolos de puntuacin: (, ) o

Cada variable proposicional representa una proposicin completa e o indivisible, que puede ser verdadera o falsa.

Ejemplo
P = {socrates es hombre, socrates es mortal }.

IIC2212

Lgica Proposicional o

12 / 56

Lgica Proposicional: Sintaxis o

Conectivos lgicos son usados para construir expresiones que o tambin pueden ser verdaderas o falsas. e

Ejemplo
socrates es hombre socrates es mortal socrates es hombre ( socrates es mortal )

S mbolos de puntuacin son usados para evitar ambigedades. o u

IIC2212

Lgica Proposicional o

13 / 56

Sintaxis de la Lgica Proposicional: Denicin o o

Dado: Conjunto P de variables proposicionales.

Denicin o
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
Verique que ((p) (q r )) es una frmula. o

IIC2212

Lgica Proposicional o

14 / 56

Sintaxis de la Lgica Proposicional: Denicin o o

La naturaleza de la denicin es inductiva. o

- Permite construir programas recursivos para chequear si una frmula est bien construida. o a - Permite denir inductivamente conceptos asociados a las frmulas. o - Permite demostrar inductivamente propiedades de las frmulas. o

IIC2212

Lgica Proposicional o

15 / 56

Deniciones inductivas
Queremos denir una funcin la que indica cuantos s o mbolos tiene una frmula: la((p q)) = 5. o
Caso base Caso inductivo : : Para cada p P, la(p) = 1. la(()) = 3 + la() y la(( )) = 3 + la() + la(), donde corresponde a , , o .

En el ejemplo: la((p q)) = 3 + la(p) + la(q) = 3 + 1 + 1 = 5.

Ejercicio
Dena las funciones pi y pd que indican cules son los nmeros de a u parntesis izquierdos y derechos en una frmula, respectivamente. e o
IIC2212 Lgica Proposicional o 16 / 56

Demostraciones inductivas

Lo siguiente parece ser cierto: Cada frmula contiene el mismo o nmero de parntesis izquierdos y derechos. u e pi () = pd(), para cada frmula . o

Cmo podemos demostrar esto? o Podemos usar induccin ... o

IIC2212

Lgica Proposicional o

17 / 56

Induccin en los nmeros naturales o u

Principio de induccin: para cada A N tal que o Caso base Caso inductivo se tiene que A = N. Este principio se usa para demostrar que los naturales tienen alguna propiedad. Por qu funciona? e : : 0 A, si n A, entonces n + 1 A,

Ejercicio
Dar un principio de induccin para las frmulas de un lenguaje o o proposicional L(P).

IIC2212

Lgica Proposicional o

18 / 56

Induccin en la lgica proposicional o o

Principio de induccin: Para cada A L(P) tal que o Caso base Caso inductivo : : p A, para cada p P, si , A, entonces () A y ( ) A, donde {, , , },

se tiene que A = L(P). Por qu funciona? e

Ejercicio
Demuestre que cada frmula contiene el mismo nmero de o u parntesis izquierdos y derechos. e

IIC2212

Lgica Proposicional o

19 / 56

Induccin en la lgica proposicional: Ejercicios o o

1. Dena v () como el nmero de ocurrencias de variables u proposicionales en . 2. Demuestre que para cada frmula proposicional que no o contiene el s mbolo se tiene que la() 3 v ()2 . Qu sucede si contiene el s e mbolo ? Qu sucede si las frmulas de la forma (()) no son e o permitidas? 3. Demuestre que un prejo propio de una frmula no es una o frmula. o

IIC2212

Lgica Proposicional o

20 / 56

Lgica proposicional: Lectura nica o u

Una frmula es atmica si = p, donde p P. o o Una frmula es compuesta si no es atmica. o o
- Si = (), entonces es un conectivo primario de y es una subfrmula inmediata de . o - Si = ( ), entonces es un conectivo primario de y , son subfrmulas inmediatas de . o

Teorema (Lectura nica) u

Cada frmula compuesta tiene un unico conectivo primario y o unicas subfrmulas inmediatas. o

Ejercicio
Demuestre el teorema de Lectura unica.
IIC2212 Lgica Proposicional o 21 / 56

Semntica de la lgica proposicional a o

Cmo podemos determinar si una frmula es verdadera o falsa? o o Este valor de verdad depende de los valores de verdad asignados a las variables proposicionales y de los conectivos utilizados. Valuacin (asignacin): o o : P {0, 1}.

Ejemplo
(socrates es hombre) = 1 y (socrates es mortal ) = 0.

IIC2212

Lgica Proposicional o

22 / 56

Semntica: Denicin a o
Dado : P {0, 1}, queremos extender : : L(P) {0, 1}.

Denicin o
Dado L(P),
- Si = p, entonces () := (p). - Si = (), entonces () = - Si = ( ), entonces () =
IIC2212 Lgica Proposicional o

1 si () = 0 0 si () = 1

1 0

si () = 1 o () = 1 si () = 0 y () = 0
23 / 56

Semntica: Denicin (continuacin) a o o

- Si = ( ), entonces () = 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 () = ()

Por simplicidad vamos a usar en lugar de .

IIC2212 Lgica Proposicional o 24 / 56

Semntica: Ejemplos a

Supongamos que (socrates es hombre) = 1 y (socrates es mortal ) = 0. Entonces: ((socrates es hombre socrates es mortal )) = 0 ((((socrates es hombre socrates es mortal ) socrates es hombre) socrates es mortal )) = 1

IIC2212

Lgica Proposicional o

25 / 56

Equivalencia de frmulas o
Denicin o
Dos frmulas , son equivalentes si para toda valuacin se o o tiene que () = (). Notacin: . o Algunas equivalencias utiles:
(( )) (( )) ( ( )) ( ( )) (() ()) (() ()) (( ) ) (( ) ) ( ) ( ) (()) (() ) (( ) ( ))

IIC2212

Lgica Proposicional o

26 / 56

Equivalencia de frmulas o

Notacin: Desde ahora en adelante o

- vamos a omitir los parntesis externos, e - vamos a escribir en lugar de ( ) (lo mismo para ).

Ejercicio
Es asociativo? Vale decir, Es cierto que ( ) ( )?

IIC2212

Lgica Proposicional o

27 / 56

Tablas de verdad
Cada frmula se puede representar y analizar en una tabla de o 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

Observacin: Dos frmulas son equivalentes si tienen la misma o o tabla de verdad.

Ejercicio
Suponga que P = {p, q}. Cuntas frmulas contiene L(P)? Cuntas a o a frmulas no equivalentes contiene este conjunto? o
IIC2212 Lgica Proposicional o 28 / 56

Conectivos ternarios
Queremos denir el conectivo lgico: si p entonces q si no r . o
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

Cmo se puede representar este conectivo usando , y ? o

IIC2212

Lgica Proposicional o

29 / 56

Conectivos ternarios (continuacin) o

Solucin: (p q) ((p) r ). o
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 (p q) ((p) r ) 0 1 0 1 0 0 1 1

Por qu el conectivo es equivalente a la frmula? Porque tienen la e o misma tabla de verdad.

IIC2212 Lgica Proposicional o 30 / 56

Conectivos n-arios

Usando tablas de verdad podemos denir conectivos n-arios: C (p1 , . . . , pn ).

p1 0 0 . . . 1 p2 0 0 . . . 1 pn1 0 0 . . . 1 pn 0 1 . . . 1 C (p1 , p2 , . . . , pn1 , pn ) b1 b2 . . . b2 n

Es posible representar C (p1 , . . . , pn ) usando , , , y ?

IIC2212

Lgica Proposicional o

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

Cmo denimos C1 (p, q, r , s) usando , , , y ? o

IIC2212 Lgica Proposicional o 32 / 56

Conectivos n-arios
Solucin: C1 (p, q, r , s) es equivalente a la siguiente frmula o o ((p) (q) (r ) s) ((p) q r (s)) (p (q) (r ) (s)) (p q r (s))

Notacin o
Desde ahora en adelante tiene mayor precedencia que los conectivos binarios. As por ejemplo, (p) q es lo mismo que p q y la frmula anterior es lo mismo que: o (p q r s) (p q r s) (p q r s) (p q r s)
IIC2212 Lgica Proposicional o 33 / 56

Conectivos n-arios
Solucin a nuestro problema original: o Suponiendo que i es la valuacin correspondiente a la la i de la o tabla de verdad de C (p1 , . . . , pn ), este conectivo es equivalente a: pj
i : bi =1 j : i (pj )=1

k : i (pk )=0

pk

Conclusin o
Basta con los conectivos lgicos , , para representar cualquier o tabla de verdad.

IIC2212

Lgica Proposicional o

34 / 56

Conectivos funcionalmente completos

Denicin o
Un conjunto de conectivos es funcionalmente completo si es posible denir cada frmula usando slo estos conectivos. o o Ya demostramos que {, , } es funcionalmente completo. Son {, } y {, } funcionalmente completos?

Ejercicio
- Demuestre que {, } es funcionalmente completo. - Es {, , , } funcionalmente completo?

*Ejercicio
Es {, } funcionalmente completo?
IIC2212 Lgica Proposicional o 35 / 56

Formas normales
Decimos que una frmula est en forma normal disyuntiva o a (DNF) si es de la forma:
m i =1 ni

li ,j ,
j=1

donde cada li ,j es un literal, es decir, una letra proposicional o la negacin de una letra proposicional. o

Ejemplo
(p q) (p r ).

Teorema
Toda frmula es equivalente a una frmula en DNF. o o Ya demostramos este teorema, Cierto?
IIC2212 Lgica Proposicional o 36 / 56

Formas normales
Decimos que una frmula est en forma normal conjuntiva o a (CNF) si es de la forma:
m i =1 ni

li ,j ,
j=1

donde cada li ,j es un literal.

Ejemplo
(p q) (p r s) (r s).

Teorema
Toda frmula es equivalente a una frmula en CNF. o o Cmo se demuestre el teorema? o
IIC2212 Lgica Proposicional o 37 / 56

La nocin de consecuencia lgica o o

Una valuacin satisface un conjunto de frmulas si para cada o o , se tiene que () = 1. Notacin: () = 1. o Cundo decimos que una frmula se deduce desde ? a o

Denicin o
es consecuencia lgica de si para cada valuacin tal que o o () = 1, se tiene que () = 1. Notacin: |= . o

IIC2212

Lgica Proposicional o

38 / 56

La nocin de consecuencia lgica: Ejemplos o o

Modus ponens: {p, p q} |= q

Demostracin por partes: o {p q r , p s, q s, r s} |= s

Ejercicio
- Demuestre que si |= , entonces |= y |= . - Es cierto que si |= , entonces |= o |= ?

IIC2212

Lgica Proposicional o

39 / 56

Teorema de monoton a
Teorema (Monoton a)
Si |= , entonces para cada frmula se tiene que {} |= . o

Sabemos que {p, p q} |= q. Usando el teorema de monoton a o deducimos que {p, p q, q} |= q. Cmo es esto posible?

Ejercicio
Demuestre el teorema de monoton a. Puede usarse la lgica proposicional para modelar razonamiento o con sentido comn? u
IIC2212 Lgica Proposicional o 40 / 56

Un parntesis: Revisin de conocimiento e o

Teorema de monoton Agregar conocimiento no nos permite a: retractarnos.

- No actualizamos nuestro conocimiento de acuerdo a la nueva informacin. o

Dado y : queremos generar una frmula que reeje la o actualizacin de dado . o Notacin: . o Cmo podemos hacer esto? Qu deber ser {p, p q} q? o e a

IIC2212

Lgica Proposicional o

41 / 56

Un parntesis: Revisin de conocimiento e o

Una primera alternativa: = . Vamos a mostrar una mejor alternativa: Belief Revision.

Notacin o
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) = 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 .
IIC2212 Lgica Proposicional o 42 / 56

Un parntesis: Revisin de conocimiento e o

Para actualizar dado , vamos a actualizar los modelos de con respecto a . Dado tal que () = 1, queremos seleccionar los modelos 1 de que estn a distancia m a nima de . Formalmente: m nimo(, ) = {1 | 1 () = 1 y no existe 2 tal que 2 () = 1 y (, 2 ) (, 1 )}.

IIC2212

Lgica Proposicional o

43 / 56

Un parntesis: Revisin de conocimiento e o

Denimos los modelos de como los modelos de que estn a ms cerca de los modelos de : a modelos( ) =
: ()=1

m nimo(, )

y denimos como una frmula arbitraria tal que o modelos() = modelos( ). Siempre existe esta frmula? Es unica? o

IIC2212

Lgica Proposicional o

44 / 56

Un parntesis: Revisin de conocimiento e o

Ejemplo
= {p, p q} y = q Primero calculamos los modelos de y : modelos() = {}, donde (p) = (q) = 1 modelos() = {1 , 2 }, donde 1 (p) = 1, 1 (q) = 0 y 2 (p) = 2 (q) = 0. Despus calculamos los modelos m e nimos: (, 1 ) (, 2 ) m nimo(, ) modelos( ) = {q} = {p, q} = {1 } = {1 }

Resultado: {p, p q} q = p q.
IIC2212 Lgica Proposicional o 45 / 56

El problema de satisfaccin o
Denicin o
Un conjunto de frmulas es satisfacible si existe una valuacin o o tal que () = 1. En caso contrario, es inconsistente.

Existe una estrecha relacin entre las nociones de consecuencia o lgica y satisfacibilidad. o

Teorema
|= si y slo si {} es inconsistente. o

Ejercicio
Demuestre el teorema.
IIC2212 Lgica Proposicional o 46 / 56

El problema de satisfaccin o

El teorema anterior nos permite reducir el problema de vericar si |= al problema de vericar si {} es inconsistente.

Ejercicio
Demuestre que la reduccin inversa tambin es posible. Vale decir, o e encuentre una frmula tal que es satisfacible si y slo si |= . o o

Entonces, si tenemos un algoritmo para uno de los problemas, lo tenemos para el otro. Cmo vericamos si una frmula es satisfacible? o o

IIC2212

Lgica Proposicional o

47 / 56

El problema de satisfaccin o

Un algoritmo simple: Dada una frmula , construya la tabla de o verdad para y verique si en alguna la la salida es 1. Cul es la complejidad de este algoritmo? a Si menciona n variables proposicionales, entonces el algoritmo toma tiempo 2n (aproximadamente). Este es un algoritmo de tiempo exponencial Es posible usar este algoritmo en la prctica? a

IIC2212

Lgica Proposicional o

48 / 56

El problema de satisfaccin: Complejidad o

Nmero estimado de electrones en el universo 10130 . u Si n = 1000 y en cada electrn del universo tuviramos un o e supercomputador que ejecuta 1050 operaciones por segundo, entonces para vericar si es satisfacible necesitar amos: 1050 21000 10130 10121 segundos.

Edad estimada del universo < 1018 segundos! Y se puede almacenar en algunos kilobytes de memoria! Existe un algoritmo eciente para el problema de satisfacibilidad?
IIC2212 Lgica Proposicional o 49 / 56

Otra nocin til o u

Denicin o
Una frmula es una tautolog si para cada valuacin se tiene o a o que () = 1.

Ejemplo
p p.

Ejercicio
Sea un conjunto nito de frmulas. Demuestre que el problema o de vericar si |= puede reducirse al problema de vericar si una frmula es una tautolog o a. Puede ser innito? Qu sucede en este caso? e
IIC2212 Lgica Proposicional o 50 / 56

Teorema de compacidad
Denicin o
Un conjunto de frmulas es nitamente satisfacible si cada o subconjunto nito de es satisfacible.

Ejemplo
El conjunto = {p0 } {pi pi +1 | i N} es nitamente satisfacible. Es satisfacible?

Teorema (Compacidad)
Un conjunto de frmulas es satisfacible si y slo si es nitamente o o satisfacible.
IIC2212 Lgica Proposicional o 51 / 56

Teorema de compacidad: Demostracin o

Necesitamos el siguiente lema:

Lema
Sea L(P) nitamente satisfacible y p P. Entonces {p} es nitamente satisfacible o {p} es nitamente satisfacible. Pueden ser ambos nitamente satisfacibles?

Ejercicio
Demuestre el lema.

IIC2212

Lgica Proposicional o

52 / 56

Teorema de compacidad: Demostracin o

Ahora vamos a demostrar la direccin del teorema. La otra o direccin es trivial. o () Suponga que P = {pi | i 1} y dena una sucesin {i }i N o de conjuntos de literales: Caso base: 0 = . Para i N: i +1 = i {pi +1 } i {pi +1 } i {pi +1 } es nitamente satisfacible, en caso contrario.

Finalmente: =
i N
IIC2212 Lgica Proposicional o

i .

53 / 56

Teorema de compacidad: Demostracin o

Para cada pi P: pi i o pi i , pero no ambas. Por lo tanto: Existe una unica valuacin que satisface a . o Vamos a demostrar que esta valuacin satisface a . o Por contradiccin: Suponga que () = 0. Entonces existe o tal que () = 0. Suponga que contiene n variables proposicionales y que pk es la de mayor ndice.

IIC2212

Lgica Proposicional o

54 / 56

Teorema de compacidad: Demostracin o

Tenemos que considerar dos casos. (pk ) = 1: entonces {} k1 {pk } es inconsistente. Entonces: k1 {pk } no es nitamente satisfacible y pk k . Contradiccin: k y (pk ) = 1. o (pk ) = 0: entonces {} k1 {pk } es inconsistente. Entonces: k1 {pk } es nitamente satisfacible (por lema) y pk k . Contradiccin: k y (pk ) = 0. o

IIC2212

Lgica Proposicional o

55 / 56

Teorema de compacidad y consecuencia lgica o

Corolario
|= si y slo si existe un subconjunto nito de tal que o |= .

Ejercicio
Demuestre el corolario.

IIC2212

Lgica Proposicional o

56 / 56