P. 1
Logic a Pr Oposicional

Logic a Pr Oposicional

|Views: 3|Likes:
Published by hargar1

More info:

Published by: hargar1 on Mar 06, 2014
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/06/2014

pdf

text

original

L´ ogica Proposicional

IIC2212

IIC2212

L´ ogica Proposicional

1 / 56

Inicio de la L´ ogica

Originalmente, la L´ ogica 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 deber´ ıa poder usarse para demostrar que s´ ı.

IIC2212

L´ ogica Proposicional

2 / 56

Inicio de la L´ ogica

Ejemplo
¿Qu´ e pasa con el siguiente caso? Algunas personas son mujeres. S´ ocrates es una persona. Por lo tanto, S´ ocrates es mujer.

En este caso deber´ ıamos decir que el argumento no es v´ alido.

IIC2212

L´ ogica Proposicional

3 / 56

Inicio de la L´ ogica

Pero los argumentos pueden ser m´ as complejos ... Creo que todos los hombres son mortales. Creo que S´ ocrates es hombre. Por lo tanto, creo que S´ ocrates es mortal. ¿Es este argumento v´ alido? ¿Por qu´ e? ¿Qu´ e significa creo? ¿Qu´ e pasar´ ıa si reemplazamos creo que por no se si?

IIC2212

L´ ogica Proposicional

4 / 56

Paradojas en el lenguaje natural

Un d´ ıa de la pr´ oxima semana les voy a hacer una interrogaci´ on, y les aseguro que el d´ ıa que se las haga van a estar sorprendidos.

¿Qu´ e d´ ıa voy a hacer la interrogaci´ on?

IIC2212

L´ ogica Proposicional

5 / 56

.. . El n´ umero de oraciones con a los m´ as 50 palabras tambi´ en es finito. El n´ umero de palabras en el Diccionario de la Real Academia es finito. “el primer n´ umero”. IIC2212 – L´ ogica Proposicional 6 / 56 .Matem´ atica en el lenguaje natural: Paradoja de Berry Podemos representar los n´ umeros naturales usando oraciones del lenguaje natural: “Mil quinientos veinte”.

Matem´ atica en el lenguaje natural: Paradoja de Berry Sea B el siguiente n´ umero natural: El primer n´ umero natural que no puede ser definido por una oraci´ on con a lo m´ as cincuenta palabras tomadas del Diccionario de la Real Academia. pero con s´ olo 25 palabras. B est´ a bien definido. ¡Tenemos una contradicci´ on! ¿Qu´ e pas´ o? IIC2212 – L´ ogica Proposicional 7 / 56 .

2. 3}. ¿B ∈ B ? No. 3} ¿A ∈ A? No.M´ as paradojas: Russell (1902) Tambi´ en pueden aparecer paradojas usando lenguaje matem´ atico. Sea A = {1. IIC2212 – L´ ogica Proposicional 8 / 56 . 5}} ¿A ∈ B ? S´ ı. {4. 2. Sea B = {{1.

M´ as paradojas: Russell (1902) Sea C el conjunto de todos los conjuntos que tienen a lo menos dos elementos: C = {A. . B .} ¿C ∈ C ? S´ ı. U ∈ U si y s´ olo si U ∈ U . C ∈ U . . . B ∈ U . Entonces podemos definir el siguiente conjunto: U = {X | X ∈ X }. Tenemos: A ∈ U . ¿U ∈ U ? Por definici´ on. ¡Tenemos una contradicci´ on! ¿C´ omo definimos la noci´ on de conjunto? IIC2212 – L´ ogica Proposicional 9 / 56 .

. .Definici´ on de teor´ ıas matem´ aticas: teor´ ıa de conjuntos.Definici´ on del concepto de demostraci´ on.¿Por qu´ e necesitamos la L´ ogica? Necesitamos un lenguaje con una sintaxis precisa y una sem´ antica bien definida. n´ umeros reales. teor´ ıa de los n´ umero naturales. n´ umeros naturales. Tambi´ en queremos usar este lenguaje en computaci´ on.Definici´ on de objetos matem´ aticos: conjunto. . Queremos usar este lenguaje en matem´ aticas. ¿Por qu´ e? IIC2212 – L´ ogica Proposicional 10 / 56 .

. . . razonamiento con sentido com´ un. verificaci´ on de propiedades. IIC2212 – L´ ogica Proposicional 11 / 56 .Bases de datos: Lenguajes de consulta.Inteligencia artificial: Representaci´ on de conocimiento.Criptograf´ ıa: verificaci´ on de protocolos criptogr´ aficos.. .. .Ingenier´ ıa de software: Especificaci´ on de sistemas (lenguaje Z ). . algoritmos de aproximaci´ on. lenguajes para restricciones de integridad. .¿Por qu´ e necesitamos la L´ ogica en computaci´ on? Algunas aplicaciones: .Procesamiento de lenguaje natural.Teor´ ıa de la computaci´ on: complejidad descriptiva.

∧.S´ ımbolos de puntuaci´ on: (. ) Cada variable proposicional representa una proposici´ on completa e indivisible. ∨. . q .Variables proposicionales (P ): p . . ↔ . →. r . Ejemplo P = {socrates es hombre . . que puede ser verdadera o falsa. socrates es mortal }. IIC2212 – L´ ogica Proposicional 12 / 56 . .L´ ogica Proposicional: Sintaxis Tenemos los siguientes elementos: .Conectivos l´ ogicos: ¬.

IIC2212 – L´ ogica Proposicional 13 / 56 .L´ ogica Proposicional: Sintaxis Conectivos l´ ogicos son usados para construir expresiones que tambi´ en pueden ser verdaderas o falsas. Ejemplo socrates es hombre → socrates es mortal socrates es hombre → (¬ socrates es mortal ) S´ ımbolos de puntuaci´ on son usados para evitar ambig¨ uedades.

IIC2212 – L´ ogica Proposicional 14 / 56 . Si ϕ ∈ L(P ). Definici´ on L(P ) es el menor conjunto que satisface las siguientes reglas: 1.Sintaxis de la L´ ogica Proposicional: Definici´ on Dado: Conjunto P de variables proposicionales. Ejercicio Verifique que ((¬p ) → (q ∨ r )) es una f´ ormula. Si ϕ. P ⊆ L(P ). 3. 2. entonces (¬ϕ) ∈ L(P ). (ϕ → ψ ) ∈ L(P ) y (ϕ ↔ ψ ) ∈ L(P ). ψ ∈ L(P ). entonces (ϕ ∨ ψ ) ∈ L(P ). (ϕ ∧ ψ ) ∈ L(P ).

. IIC2212 – L´ ogica Proposicional 15 / 56 . .Permite definir inductivamente conceptos asociados a las f´ ormulas.Sintaxis de la L´ ogica Proposicional: Definici´ on La naturaleza de la definici´ on es inductiva.Permite demostrar inductivamente propiedades de las f´ ormulas.Permite construir programas recursivos para chequear si una f´ ormula est´ a bien construida. .

En el ejemplo: la((p ∧ q )) = 3 + la(p ) + la(q ) = 3 + 1 + 1 = 5. donde corresponde a ∨. Ejercicio Defina las funciones pi y pd que indican cu´ ales son los n´ umeros de par´ entesis izquierdos y derechos en una f´ ormula. → o ↔. respectivamente.Definiciones inductivas Queremos definir una funci´ on la que indica cuantos s´ ımbolos tiene una f´ ormula: la((p ∧ q )) = 5. Caso base Caso inductivo : : Para cada p ∈ P . la(p ) = 1. la((¬ϕ)) = 3 + la(ϕ) y la((ϕ ψ )) = 3 + la(ϕ) + la(ψ ). ∧. IIC2212 – L´ ogica Proposicional 16 / 56 .

IIC2212 – L´ ogica Proposicional 17 / 56 .. ¿C´ omo podemos demostrar esto? Podemos usar inducci´ on . pi (ϕ) = pd (ϕ).Demostraciones inductivas Lo siguiente parece ser cierto: Cada f´ ormula contiene el mismo n´ umero de par´ entesis izquierdos y derechos.. para cada f´ ormula ϕ.

Ejercicio Dar un principio de inducci´ on para las f´ ormulas de un lenguaje proposicional L(P ).Inducci´ on en los n´ umeros naturales Principio de inducci´ on: para cada A ⊆ N tal que Caso base Caso inductivo se tiene que A = N. entonces n + 1 ∈ A. IIC2212 – L´ ogica Proposicional 18 / 56 . ¿Por qu´ e funciona? : : 0 ∈ A. Este principio se usa para demostrar que los naturales tienen alguna propiedad. si n ∈ A.

¿Por qu´ e funciona? Ejercicio Demuestre que cada f´ ormula contiene el mismo n´ umero de par´ entesis izquierdos y derechos. ∧.Inducci´ on en la l´ ogica proposicional Principio de inducci´ on: Para cada A ⊆ L(P ) tal que Caso base Caso inductivo : : p ∈ A. entonces (¬ϕ) ∈ A y (ϕ ψ ) ∈ A. IIC2212 – L´ ogica Proposicional 19 / 56 . →. ψ ∈ A. se tiene que A = L(P ). si ϕ. donde ∈ {∨. para cada p ∈ P . ↔}.

Defina v (ϕ) como el n´ umero de ocurrencias de variables proposicionales en ϕ. 2. Demuestre que para cada f´ ormula proposicional ϕ que no contiene el s´ ımbolo ¬ se tiene que la(ϕ) ≤ 3 · v (ϕ)2 . ¿Qu´ e sucede si ϕ contiene el s´ ımbolo ¬? ¿Qu´ e sucede si las f´ ormulas de la forma (¬(¬ϕ)) no son permitidas? 3. Demuestre que un prefijo propio de una f´ ormula no es una f´ ormula.Inducci´ on en la l´ ogica proposicional: Ejercicios 1. IIC2212 – L´ ogica Proposicional 20 / 56 .

β son subf´ ormulas inmediatas de ϕ. donde p ∈ P . entonces es un conectivo primario de ϕ y α.L´ ogica proposicional: Lectura ´ unica Una f´ ormula ϕ es at´ omica si ϕ = p .Si ϕ = (α β ). Ejercicio Demuestre el teorema de Lectura u ´nica. Una f´ ormula ϕ es compuesta si no es at´ omica. .Si ϕ = (¬α). entonces ¬ es un conectivo primario de ϕ y α es una subf´ ormula inmediata de ϕ. IIC2212 – L´ ogica Proposicional 21 / 56 . Teorema (Lectura ´ unica) Cada f´ ormula compuesta tiene un u ´nico conectivo primario y u ´nicas subf´ ormulas inmediatas. .

1}. IIC2212 – L´ ogica Proposicional 22 / 56 . Ejemplo σ (socrates es hombre ) = 1 y σ (socrates es mortal ) = 0.Sem´ antica de la l´ ogica proposicional ¿C´ omo podemos determinar si una f´ ormula es verdadera o falsa? Este valor de verdad depende de los valores de verdad asignados a las variables proposicionales y de los conectivos utilizados. Valuaci´ on (asignaci´ on): σ : P → {0.

.Si ϕ = (¬α). Definici´ on Dado ϕ ∈ L(P ). 1}. 1}.Si ϕ = p. entonces σ ˆ (ϕ) = . entonces σ ˆ (ϕ) = IIC2212 – L´ ogica Proposicional 1 si σ ˆ (α) = 0 0 si σ ˆ (α) = 1 1 0 si σ ˆ (α) = 1 o σ ˆ (β ) = 1 si σ ˆ (α) = 0 y σ ˆ (β ) = 0 23 / 56 . .Si ϕ = (α ∨ β ). queremos extender σ : σ ˆ : L(P ) → {0.Sem´ antica: Definici´ on Dado σ : P → {0. entonces σ ˆ (ϕ) := σ (p ).

Si ϕ = (α ∧ β ).Si ϕ = (α → β ).Si ϕ = (α ↔ β ). entonces σ ˆ (ϕ) = 1 0 si σ ˆ (α) = 1 y σ ˆ (β ) = 1 si σ ˆ (α) = 0 o σ ˆ (β ) = 0 . IIC2212 – L´ ogica Proposicional 24 / 56 .Sem´ antica: Definici´ on (continuaci´ on) . entonces σ ˆ (ϕ) = 1 0 si σ ˆ (α) = 0 o σ ˆ (β ) = 1 si σ ˆ (α) = 1 y σ ˆ (β ) = 0 . entonces σ ˆ (ϕ) = 1 si σ ˆ (α) = σ ˆ (β ) 0 si σ ˆ (α) = σ ˆ (β ) Por simplicidad vamos a usar σ en lugar de σ ˆ.

Sem´ antica: Ejemplos 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 – L´ ogica Proposicional 25 / 56 .

Notaci´ on: ϕ ≡ ψ .Equivalencia de f´ ormulas Definici´ on Dos f´ ormulas ϕ. ψ son equivalentes si para toda valuaci´ on σ se tiene que σ (ϕ) = σ (ψ ). Algunas equivalencias u ´tiles: (¬(ϕ ∧ ψ )) (¬(ϕ ∨ ψ )) (ϕ ∧ (ψ ∧ θ)) (ϕ ∨ (ψ ∨ θ)) ≡ ≡ ≡ ≡ ((¬ϕ) ∨ (¬ψ )) ((¬ϕ) ∧ (¬ψ )) ((ϕ ∧ ψ ) ∧ θ) ((ϕ ∨ ψ ) ∨ θ) (ϕ → ψ ) (ϕ ↔ ψ ) (¬(¬ϕ)) ≡ ≡ ≡ ((¬ϕ) ∨ ψ ) ((ϕ → ψ ) ∧ (ψ → ϕ)) ϕ IIC2212 – L´ ogica Proposicional 26 / 56 .

vamos a escribir ϕ ∧ ψ ∧ θ en lugar de (ϕ ∧ ψ ) ∧ θ (lo mismo para ∨).Equivalencia de f´ ormulas Notaci´ on: Desde ahora en adelante .vamos a omitir los par´ entesis externos. Ejercicio ¿Es → asociativo? Vale decir. . ¿Es cierto que (α → β ) → γ ≡ α → (β → γ )? IIC2212 – L´ ogica Proposicional 27 / 56 .

Tablas de verdad Cada f´ ormula se puede representar y analizar en una tabla de verdad. Ejercicio Suponga que P = {p . q }. ¿Cu´ antas f´ ormulas contiene L(P )? ¿Cu´ antas f´ ormulas no equivalentes contiene este conjunto? IIC2212 – L´ ogica Proposicional 28 / 56 . p 0 0 1 1 q 0 1 0 1 ¬p 1 1 0 0 p∨q 0 1 1 1 p∧q 0 0 0 1 p→q 1 1 0 1 p↔q 1 0 0 1 Observaci´ on: Dos f´ ormulas son equivalentes si tienen la misma tabla de verdad.

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 →? IIC2212 – L´ ogica Proposicional 29 / 56 .Conectivos ternarios Queremos definir el conectivo l´ ogico: si p entonces q si no r .

IIC2212 – L´ ogica Proposicional 30 / 56 . 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´ e el conectivo es equivalente a la f´ ormula? Porque tienen la misma tabla de verdad.Conectivos ternarios (continuaci´ on) Soluci´ on: (p → q ) ∧ ((¬p ) → r ).

. . . 1 p2 0 0 . 1 pn 0 1 .Conectivos n-arios Usando tablas de verdad podemos definir conectivos n-arios: C (p1 . . ∨. ∧. . . pn−1 . . . . pn ). 1 ··· ··· ··· ··· ··· pn − 1 0 0 . . . → y ↔? IIC2212 – L´ ogica Proposicional 31 / 56 . pn ) b1 b2 . . . . . . . 1 C (p1 . . p2 . p1 0 0 . . . pn ) usando ¬. b2 n ¿Es posible representar C (p1 . . .

s ) usando ¬. s ) 1 0 0 0 0 0 1 0 ¿C´ omo definimos C1 (p .Conectivos n-arios Veamos un ejemplo: C1 (p . r . q . r . 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 . ∧. s ). q . ∨. q . r . 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 . → y ↔? IIC2212 – L´ ogica Proposicional 32 / 56 .

q . As´ ı por ejemplo.Conectivos n-arios Soluci´ on: C1 (p . r . (¬p ) → q es lo mismo que ¬p → q y la f´ ormula anterior es lo mismo que: (¬p ∧ ¬q ∧ ¬r ∧ s ) ∨ (¬p ∧ q ∧ r ∧ ¬s ) ∨ (p ∧ ¬q ∧ ¬r ∧ ¬s ) ∨ (p ∧ q ∧ r ∧ ¬s ) IIC2212 – L´ ogica Proposicional 33 / 56 . s ) es equivalente a la siguiente f´ ormula ((¬p ) ∧ (¬q ) ∧ (¬r ) ∧ s ) ∨ ((¬p ) ∧ q ∧ r ∧ (¬s )) ∨ (p ∧ (¬q ) ∧ (¬r ) ∧ (¬s )) ∨ (p ∧ q ∧ r ∧ (¬s )) Notaci´ on Desde ahora en adelante ¬ tiene mayor precedencia que los conectivos binarios.

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: pj i : bi =1 j : σi (pj )=1 ∧ k : σi (pk )=0 ¬ pk . Conclusi´ on Basta con los conectivos l´ ogicos ¬. ∧ para representar cualquier tabla de verdad. IIC2212 – L´ ogica Proposicional 34 / 56 .

∨. Ya demostramos que {¬. ¿Son {¬. ∧} funcionalmente completos? Ejercicio .Conectivos funcionalmente completos Definici´ on Un conjunto de conectivos es funcionalmente completo si es posible definir cada f´ ormula usando s´ olo estos conectivos. ∨. ↔} funcionalmente completo? IIC2212 – L´ ogica Proposicional 35 / 56 . ∧} es funcionalmente completo. ∨} y {¬.Demuestre que {¬.¿Es {∧. →. →} es funcionalmente completo. . ↔} funcionalmente completo? *Ejercicio ¿Es {¬.

es decir. Ejemplo (p ∧ q ) ∨ (¬p ∧ r ). Ya demostramos este teorema.Formas normales Decimos que una f´ ormula ϕ est´ a en forma normal disyuntiva (DNF) si ϕ es de la forma: m i =1 ni li . Teorema Toda f´ ormula es equivalente a una f´ ormula en DNF. j .j es un literal. una letra proposicional o la negaci´ on de una letra proposicional. ¿Cierto? IIC2212 – L´ ogica Proposicional 36 / 56 . j =1 donde cada li .

j .Formas normales Decimos que una f´ ormula ϕ est´ a en forma normal conjuntiva (CNF) si ϕ es de la forma: m i =1 ni li . Teorema Toda f´ ormula es equivalente a una f´ ormula en CNF.j es un literal. ¿C´ omo se demuestre el teorema? IIC2212 – L´ ogica Proposicional 37 / 56 . j =1 donde cada li . Ejemplo (p ∨ ¬q ) ∧ (¬p ∨ ¬r ∨ s ) ∧ (¬r ∨ s ).

Notaci´ on: Σ |= ψ .La noci´ on de consecuencia l´ ogica Una valuaci´ on σ satisface un conjunto de f´ ormulas Σ si para cada ϕ ∈ Σ. se tiene que σ (ψ ) = 1. ¿Cu´ ando decimos que una f´ ormula ψ se deduce desde Σ? Definici´ on ψ es consecuencia l´ ogica de Σ si para cada valuaci´ on σ tal que σ (Σ) = 1. Notaci´ on: σ (Σ) = 1. IIC2212 – L´ ogica Proposicional 38 / 56 . se tiene que σ (ϕ) = 1.

p → q } |= q Demostraci´ on por partes: {p ∨ q ∨ r . . entonces Σ |= α y Σ |= β .La noci´ on de consecuencia l´ ogica: Ejemplos Modus ponens: {p .Demuestre que si Σ |= α ∧ β .¿Es cierto que si Σ |= α ∨ β . entonces Σ |= α o Σ |= β ? IIC2212 – L´ ogica Proposicional 39 / 56 . q → s . p → s . r → s } |= s Ejercicio .

entonces para cada f´ ormula θ se tiene que Σ ∪ {θ } |= ψ . ¿C´ Ejercicio Demuestre el teorema de monoton´ ıa. ¿Puede usarse la l´ ogica proposicional para modelar razonamiento con sentido com´ un? IIC2212 – L´ ogica Proposicional 40 / 56 . Sabemos que {p . Usando el teorema de monoton´ ıa omo es esto posible? deducimos que {p . p → q } |= q . p → q .Teorema de monoton´ ıa Teorema (Monoton´ ıa) Si Σ |= ψ . ¬q } |= q .

Un par´ entesis: Revisi´ on de conocimiento Teorema de monoton´ ıa: Agregar conocimiento no nos permite retractarnos. . ¿C´ omo podemos hacer esto? ¿Qu´ e deber´ ıa ser {p . Notaci´ on: Σ ◦ ϕ. p → q } ◦ ¬q ? IIC2212 – L´ ogica Proposicional 41 / 56 . Dado Σ y ϕ: queremos generar una f´ ormula que refleje la actualizaci´ on de Σ dado ϕ.No actualizamos nuestro conocimiento de acuerdo a la nueva informaci´ on.

. Notaci´ on Dado un conjunto de variables proposicionales P . σ2 ) = {q }. σ2 ): Conjunto de las variables proposicionales p ∈ P tales que σ1 (p ) = σ2 (p ). q }. Vamos a mostrar una mejor alternativa: Belief Revision.modelos (Σ): Conjunto de las valuaciones de P que satisfacen Σ. entonces ∆(σ1 . ∆(σ1 . σ2 (p ) = 1 σ2 (q ) = 0. σ2 ) mide la distancia entre σ1 y σ2 .Un par´ entesis: Revisi´ on de conocimiento Una primera alternativa: Σ ◦ ϕ = ϕ. σ1 (p ) = 1. Ejemplo Si P = {p . IIC2212 – L´ ogica Proposicional 42 / 56 .∆(σ1 . σ1 (q ) = 1.

queremos seleccionar los modelos σ1 de ϕ que est´ an a distancia m´ ınima de σ . ϕ) = {σ1 | σ1 (ϕ) = 1 y no existe σ2 tal que σ2 (ϕ) = 1 y ∆(σ. vamos a actualizar los modelos de Σ con respecto a ϕ. Formalmente: m´ ınimo(σ.Un par´ entesis: Revisi´ on de conocimiento Para actualizar Σ dado ϕ. σ2 ) ∆(σ. σ1 )}. IIC2212 – L´ ogica Proposicional 43 / 56 . Dado σ tal que σ (Σ) = 1.

Un par´ entesis: Revisi´ on de conocimiento Definimos los modelos de Σ ◦ ϕ como los modelos de ϕ que est´ an m´ as cerca de los modelos de Σ: modelos (Σ ◦ ϕ) = σ : σ(Σ)=1 m´ ınimo(σ. ¿Siempre existe esta f´ ormula? ¿Es u ´nica? IIC2212 – L´ ogica Proposicional 44 / 56 . ϕ) y definimos Σ ◦ ϕ como una f´ ormula ψ arbitraria tal que modelos (ψ ) = modelos (Σ ◦ ϕ).

ϕ) modelos (Σ ◦ ϕ) = {q } = {p . donde σ1 (p ) = 1.Un par´ entesis: Revisi´ on de conocimiento Ejemplo Σ = {p . σ2 }. p → q } ◦ ¬q = p ∧ ¬q . σ2 ) m´ ınimo(σ. p → q } y ϕ = ¬q Primero calculamos los modelos de Σ y ϕ: modelos (Σ) = {σ }. donde σ (p ) = σ (q ) = 1 modelos (ϕ) = {σ1 . q } = {σ1 } = {σ1 } Resultado: {p . σ1 (q ) = 0 y σ2 (p ) = σ2 (q ) = 0. Despu´ es calculamos los modelos m´ ınimos: ∆(σ. IIC2212 – L´ ogica Proposicional 45 / 56 . σ1 ) ∆(σ.

Σ es inconsistente. Existe una estrecha relaci´ on entre las nociones de consecuencia l´ ogica y satisfacibilidad. IIC2212 – L´ ogica Proposicional 46 / 56 . Teorema Σ |= ϕ si y s´ olo si Σ ∪ {¬ϕ} es inconsistente.El problema de satisfacci´ on Definici´ on Un conjunto de f´ ormulas Σ es satisfacible si existe una valuaci´ on σ tal que σ (Σ) = 1. Ejercicio Demuestre el teorema. En caso contrario.

lo tenemos para el otro.El problema de satisfacci´ on El teorema anterior nos permite reducir el problema de verificar si Σ |= ϕ al problema de verificar si Σ ∪ {¬ϕ} es inconsistente. encuentre una f´ ormula ψ tal que Σ es satisfacible si y s´ olo si Σ |= ψ . Entonces. ¿C´ omo verificamos si una f´ ormula es satisfacible? IIC2212 – L´ ogica Proposicional 47 / 56 . si tenemos un algoritmo para uno de los problemas. Vale decir. Ejercicio Demuestre que la reducci´ on inversa tambi´ en es posible.

¿Cu´ al es la complejidad de este algoritmo? Si ϕ menciona n variables proposicionales. construya la tabla de verdad para ϕ y verifique si en alguna fila la salida es 1.El problema de satisfacci´ on Un algoritmo simple: Dada una f´ ormula ϕ. Este es un algoritmo de tiempo exponencial ¿Es posible usar este algoritmo en la pr´ actica? IIC2212 – L´ ogica Proposicional 48 / 56 . entonces el algoritmo toma tiempo 2n (aproximadamente).

¡Edad estimada del universo < 1018 segundos! ¡Y ϕ se puede almacenar en algunos kilobytes de memoria! ¿Existe un algoritmo eficiente para el problema de satisfacibilidad? IIC2212 – L´ ogica Proposicional 49 / 56 . Si n = 1000 y en cada electr´ on del universo tuvi´ eramos un supercomputador que ejecuta 1050 operaciones por segundo. entonces para verificar si ϕ es satisfacible necesitar´ ıamos: 1050 21000 · 10130 ≈ 10121 segundos.El problema de satisfacci´ on: Complejidad N´ umero estimado de electrones en el universo ≤ 10130 .

Otra noci´ on ´ util Definici´ on Una f´ ormula ϕ es una tautolog´ ıa si para cada valuaci´ on σ se tiene que σ (ϕ) = 1. ¿Puede ser Σ infinito? ¿Qu´ e sucede en este caso? IIC2212 – L´ ogica Proposicional 50 / 56 . Ejercicio Sea Σ un conjunto finito de f´ ormulas. Ejemplo p ∨ ¬p . Demuestre que el problema de verificar si Σ |= ϕ puede reducirse al problema de verificar si una f´ ormula es una tautolog´ ıa.

IIC2212 – L´ ogica Proposicional 51 / 56 . ¿Es Σ satisfacible? Teorema (Compacidad) Un conjunto de f´ ormulas es satisfacible si y s´ olo si es finitamente satisfacible.Teorema de compacidad Definici´ on Un conjunto de f´ ormulas Σ es finitamente satisfacible si cada subconjunto finito de Σ es satisfacible. Ejemplo El conjunto Σ = {p0 } ∪ {pi → pi +1 | i ∈ N} es finitamente satisfacible.

Entonces Σ ∪ {p } es finitamente satisfacible o Σ ∪ {¬p } es finitamente satisfacible. ¿Pueden ser ambos finitamente satisfacibles? Ejercicio Demuestre el lema.Teorema de compacidad: Demostraci´ on Necesitamos el siguiente lema: Lema Sea Σ ⊆ L(P ) finitamente satisfacible y p ∈ P. IIC2212 – L´ ogica Proposicional 52 / 56 .

Para i ∈ N: ∆i +1 = ∆i ∪ {pi +1 } ∆i ∪ {¬pi +1 } Σ ∪ ∆i ∪ {pi +1 } es finitamente satisfacible. La otra direcci´ on es trivial. (⇐) Suponga que P = {pi | i ≥ 1} y defina una sucesi´ on {∆i }i ∈N de conjuntos de literales: Caso base: ∆0 = ∅.Teorema de compacidad: Demostraci´ on Ahora vamos a demostrar la direcci´ on ⇐ del teorema. 53 / 56 . Finalmente: ∆ = i ∈N IIC2212 – L´ ogica Proposicional ∆i . en caso contrario.

Suponga que ϕ contiene n variables proposicionales y que pk es la de mayor ´ ındice. Vamos a demostrar que esta valuaci´ on satisface a Σ. Por lo tanto: Existe una u ´nica valuaci´ on σ que satisface a ∆. Por contradicci´ on: Suponga que σ (Σ) = 0. pero no ambas.Teorema de compacidad: Demostraci´ on Para cada pi ∈ P : pi ∈ ∆i o ¬pi ∈ ∆i . Entonces existe ϕ ∈ Σ tal que σ (ϕ) = 0. IIC2212 – L´ ogica Proposicional 54 / 56 .

Entonces: Σ ∪ ∆k −1 ∪ {pk } es finitamente satisfacible (por lema) y pk ∈ ∆k .Teorema de compacidad: Demostraci´ on Tenemos que considerar dos casos. Entonces: Σ ∪ ∆k −1 ∪ {pk } no es finitamente satisfacible y ¬pk ∈ ∆k . IIC2212 – L´ ogica Proposicional 55 / 56 . σ (pk ) = 1: entonces {ϕ} ∪ ∆k −1 ∪ {pk } es inconsistente. σ (pk ) = 0: entonces {ϕ} ∪ ∆k −1 ∪ {¬pk } es inconsistente. Contradicci´ on: ∆k ⊆ ∆ y σ (pk ) = 1. Contradicci´ on: ∆k ⊆ ∆ y σ (pk ) = 0.

IIC2212 – L´ ogica Proposicional 56 / 56 . Ejercicio Demuestre el corolario.Teorema de compacidad y consecuencia l´ ogica Corolario Σ |= ϕ si y s´ olo si existe un subconjunto finito Σ de Σ tal que Σ |= ϕ.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->