Introducin a la Lgica Proposicional o o

Pablo Barcel o

P. Barcel o

Lgica Proposicional - CC52A o

1 / 24

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 = {Bateria OK , Robot se mueve, Objeto elevable}.

P. Barcel o

Lgica Proposicional - CC52A o

2 / 24

Lgica proposicional: Sintaxis o

Conectivos lgicos son usados para construir expresiones o complejas, que tambin pueden ser verdaderas o falsas. e Ejemplos: Bateria OK Bateria OK Objeto elevable ( Objeto elevable) Robot se mueve

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

P. Barcel o

Lgica Proposicional - CC52A o

3 / 24

Denicin de sintaxis de la lgica proposicional 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

P. Barcel o

Lgica Proposicional - CC52A o

4 / 24

Naturaleza de la denicin 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 recursivamente conceptos asociados a las frmulas. o - Permite demostrar inductivamente propiedades de las frmulas. o

P. Barcel o

Lgica Proposicional - CC52A o

5 / 24

Demostraciones inductivas
Queremos denir una funcin la que indica cuntos s o a mbolos tiene una frmula: la((p q)) = 5. o Caso base: Para cada p P, la(p) = 1. Caso inductivo: 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.

P. Barcel o

Lgica Proposicional - CC52A o

6 / 24

Demostraciones inductivas
Queremos denir una funcin la que indica cuntos s o a mbolos tiene una frmula: la((p q)) = 5. o Caso base: Para cada p P, la(p) = 1. Caso inductivo: 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 a nmeros de parntesis izquierdos y derechos en una frmula, u e o respectivamente. Demuestre que para cada frmula se tiene que o pi () = pd().

P. Barcel o

Lgica Proposicional - CC52A o

6 / 24

Demostraciones inductivas: Ejercicio

Ejercicio: Dena v () como el nmero de ocurrencias de variables u proposicionales en ;

Demuestre que para cada frmula proposicional que no o contiene el smbolo 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?

P. Barcel o

Lgica Proposicional - CC52A o

7 / 24

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: (Robot se mueve) = 1, (Bateria OK ) = 0 y (Objeto elevable) = 1 .

P. Barcel o

Lgica Proposicional - CC52A o

8 / 24

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 () = 1 si () = 0 0 si () = 1

P. Barcel o

Lgica Proposicional - CC52A o

9 / 24

Semntica: Denicin a o

- Si = ( ), entonces () = 1 si () = 1 y () = 1 0 si () = 0 o () = 0

- Si = ( ), entonces () = 1 si () = 1 o () = 1 0 si () = 0 y () = 0

P. Barcel o

Lgica Proposicional - CC52A o

10 / 24

Semntica: Denicin a o

- Si = ( ), entonces () = 1 si () = 0 o () = 1 0 si () = 1 y () = 0

- Si = ( ), entonces () = 1 0 si () = () si () = ()

Por simplicidad, de ahora en adelante usaremos en vez de .

P. Barcel o

Lgica Proposicional - CC52A o

11 / 24

Ejemplos de semntica a

Supongamos que (Bateria OK ) = 1 y (Robot se mueve) = 0. Entonces: ((Bateria OK Robot se mueve)) = 0 ((((Bateria OK Robot se mueve) Bateria OK ) Robot se mueve)) = 1

P. Barcel o

Lgica Proposicional - CC52A o

12 / 24

Satisfacibilidad
Una frmula es satisfacible si existe tal que () = 1. o Una frmula es una tautolog si su negacin es insatisfacible. o a o Ejemplo: La frmula (p (p q)) es satisfacible. La frmula o o (p (p q) (q)) no lo es. La frmula ((p (p q)) q) es o una tautolog a.

P. Barcel o

Lgica Proposicional - CC52A o

13 / 24

Satisfacibilidad
Una frmula es satisfacible si existe tal que () = 1. o Una frmula es una tautolog si su negacin es insatisfacible. o a o Ejemplo: La frmula (p (p q)) es satisfacible. La frmula o o (p (p q) (q)) no lo es. La frmula ((p (p q)) q) es o una tautolog a. Ejercicio: Sea G = (V , E ) un grafo. Demuestre que existe una frmula G de la lgica proposicional tal que: o o G es 3-coloreable G es satisfacible. Cuntos recursos (tiempo y espacio) se utilizaron para construir a G en trminos de G ? e

P. Barcel o

Lgica Proposicional - CC52A o

13 / 24

Consecuencia lgica o
Para conjunto de frmulas escribimos () = 1 si para toda o frmula en se tiene que () = 1. o

Denicin o
La frmula es consecuencia lgica de si para toda valuacin : o o o () = 1 = () = 1. Ejemplo: Demuestre que (Objeto elevable) es consecuencia lgica del conjunto de frmulas: o o {Bateria OK , (Robot se mueve) ( (Bateria OK Objeto elevable) Robot se mueve )}

P. Barcel o

Lgica Proposicional - CC52A o

14 / 24

Equivalencia lgica o
Dos frmulas y son equivalentes si |= y |= . o

De la misma forma, si para toda valuacin , o () = 1 () = 1.

P. Barcel o

Lgica Proposicional - CC52A o

15 / 24

Equivalencia lgica o
Dos frmulas y son equivalentes si |= y |= . o

De la misma forma, si para toda valuacin , o () = 1 () = 1.

Algunas equivalencias utiles:

(( )) (() ()) (( )) (() ()) ( ( )) (( ) ) ( ( )) (( ) ) ( ) (() ) ( ) (( ) ( )) (())

P. Barcel o

Lgica Proposicional - CC52A o

15 / 24

Equivalencia de frmulas o

Desde ahora en adelante: - Vamos a omitir los parntesis externos; e - vamos a escribir en lugar de ( ) (lo mismo para ). Ejercicio: Es asociativo? Vale decir, Es cierto que ( ) ( )?

P. Barcel o

Lgica Proposicional - CC52A o

16 / 24

Tablas de verdad

Como sabemos, cada frmula tiene una tabla de verdad o relacionada. Ejercicio: Asuma que P = {p, q}. Cuntas frmulas contiene a o L(P)? Cuntas frmulas no equivalentes contiene este conjunto? a o

P. Barcel o

Lgica Proposicional - CC52A o

17 / 24

Tablas de verdad

Como sabemos, cada frmula tiene una tabla de verdad o relacionada. Ejercicio: Asuma que P = {p, q}. Cuntas frmulas contiene a o L(P)? Cuntas frmulas no equivalentes contiene este conjunto? a o Lo contrario tambin es cierto: e Para cada tabla de verdad existe una frmula que tiene o exactamente esa tabla de verdad.

P. Barcel o

Lgica Proposicional - CC52A o

17 / 24

Conectivos n-arios
Una tabla de verdad con n variables proposicionales es un conectivo n-ario (Nota: Nuestros conectivos lgicos son o precisamente conectivos unarios () y binarios (, , , )): p1 0 0 . . . 1 p2 0 0 . . . 1 pn1 0 0 . . . 1 pn 0 1 . . . 1 C (p1 , p2 , . . . , pn1 , pn ) b1 b2 . . . b2n

Qu frmula de la lgica proposicional tiene exactamente esta e o o tabla de verdad?

P. Barcel o

Lgica Proposicional - CC52A o

18 / 24

Conectivos funcionalmente completos

Asumiendo 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

P. Barcel o

Lgica Proposicional - CC52A o

19 / 24

Conectivos funcionalmente completos

Asumiendo 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: Basta con los conectivos lgicos , , para o o representar cualquier tabla de verdad. Decimos que el conjunto de conectivos {, , } es funcionalmente completo.

P. Barcel o

Lgica Proposicional - CC52A o

19 / 24

Conectivos funcionalmente completos

Pregunta: Es cierto que los conjuntos {, }, {, } y {, } son funcionalmente completos? Ejercicio: Existe algn conectivo binario que sea funcionalmente u completo por si solo? Ejercicio: Es el conjunto {, , , } funcionalmente completo?

P. Barcel o

Lgica Proposicional - CC52A o

20 / 24

Propiedades de la lgica proposicional: Monoton o a

Presentaremos algunas propiedades interesantes de la lgica o proposicional, partiendo por monoton a.

Teorema (Monoton a)
Si |= , entonces para cada frmula se tiene que {} |= . o Ejercicio: Demuestre el teorema.

P. Barcel o

Lgica Proposicional - CC52A o

21 / 24

Propiedades de la lgica proposicional: Monoton o a

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

P. Barcel o

Lgica Proposicional - CC52A o

22 / 24

Propiedades de la lgica proposicional: Monoton o a

Sabemos que {p, p q} |= q. Usando el teorema de monoton a o deducimos que {p, p q, q} |= q. Cmo es esto posible? Puede usarse la lgica proposicional para modelar razonamiento o con sentido comn? u

P. Barcel o

Lgica Proposicional - CC52A o

22 / 24

Consecuencia lgica y satisfacibilidad o

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

Teorema
|= si y slo si {} es insatisfacible. o Adems: a

Teorema
Para todo conjunto nito de frmulas y formula existe tal o que |= si y slo si es tautolog o a. Ejercicio: Demuestre los teoremas.

P. Barcel o

Lgica Proposicional - CC52A o

23 / 24

Consecuencia lgica y satisfacibilidad o

Adems: a

Teorema
es insatisfacible si y slo si para cada frmula , |= . o o Ejercicio: Demuestre el teorema.

P. Barcel o

Lgica Proposicional - CC52A o

24 / 24

Consecuencia lgica y satisfacibilidad o

Adems: a

Teorema
es insatisfacible si y slo si para cada frmula , |= . o o Ejercicio: Demuestre el teorema. o O equivalentemente, es insatisfacible si y slo si para cualquier frmula insatisfacible , |= . o

P. Barcel o

Lgica Proposicional - CC52A o

24 / 24