Lgica Proposicional (LP)

Proposicin Enunciado del que puede afirmarse si es verdadero o falso Oracin declarativa Cules de las siguientes son proposiciones? 1) Pedro es alto. 2) Juan es estudiante. 3) Ayer llovi. 4) Quin es? 5) Esta mesa es azul. 6) 3 es impar.

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional
Proposicin Simple Mi perro es negro. Juan es estudiante Compuesta Mara es arquitecta o Juan es msico. Si ayer llovi entonces hoy sale el sol. 2 * 3 = 6 y 7 no es par.

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional
Definicin del Lenguaje de la Lgica Proposicional

- Alfabeto Sintaxis: cmo definir frmulas bien formadas

(frmulas como cadenas de smbolos)

- Lenguaje

Semntica: cmo interpretar esas frmulas, es decir cmo asignarles un valor de verdad
(frmulas como enunciados que pueden ser verdaderos o falsos)

- Valuaciones

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Sintaxis

Alfabeto (APROP): APROP = Var { , , , } { (, ) } Smbolos auxiliares Variables o smbolos proposicionales (a, b, c, ..., p, q, ...) Conectivos proposicionales: negacin y o si ... entonces

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Sintaxis

Lenguaje de la LP Conjunto de Frmulas de la LP (Fm): Fm es el conjunto de cadenas de smbolos de APROP, Fm A*PROP, que se obtiene aplicando las siguientes reglas: Para toda variable p Var, entonces p Fm, es decir Var
Frmulas atmicas

Fm

Si A Fm, entonces A Fm Si A, B Fm, entonces (A B), (A B), (A B) Fm ((p q) r) p q r ((p q) q) ((p ) q)

Frmulas no atmicas

SON FORMULAS DE Fm NO SON FORMULAS DE Fm

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Sintaxis

Longitud de una Frmula A (long A): Si A = p, p Var, entonces long(p) = 1 Si A = B, B Fm, entonces long(A) = long(B) + 1 Si A = B * C, con B, C Fm, y * es uno de los conectivos , , , entonces long(A) = long(B) + long(C) + 1

Subfrmulas de una Frmula A (Sf(A)): Sf(p) = { p } si p Var Sf( A) = Sf(A) { A } si A Fm Sf((A * B)) = S f(A) Sf(B) {(A * B)} si A, B Fm, y * es uno de los conectivos , ,
Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Sintaxis

Otra definicin de Fm : <form_log> ::= <form_log> <form_or> | <form_or> <form_or> ::= <form_or> <form_and> | <form_and> <form_and> ::= <form_and> <factor_log> | <factor_log> <factor_log> ::= ( <form_log> ) | <factor_log> | <var_prop> <var_prop> ::= a | b | c | ... | z

Esta definicin tiene en cuenta precedencia de conectivos: , , , (de mayor a menor)

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Interpretacin de frmulas como enunciados a los que se puede asignar slo uno de dos valores: Verdadero (1, V, T) Falso (0, F, ) La interpretacin o valuacin de una frmula se obtiene como sigue: - se asigna un valor de verdad (1 0) a las variables proposicionales - se interpretan las fmulas no atmicas teniendo en cuenta el significado de los conectivos que contienen Interpretacin de conectivos 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Valuacin: Es una funcin v: Fm {0, 1} que cumple con las siguientes propiedades para todo A, B Fm v( A) = v(A) v(A B) = v(A) v(B) v(A B) = v(A) v(B) v(A B) = v(A) v(B) Ejemplo: Dada la frmula A = p q q y la valuacin v(p) = 1 y v(q) = 1 v(A) = v(p q q) = v(p q) v( q) = v(p) v(q) v(q) = 1 1 1 =1 0=0

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Tablas de Verdad: Permiten calcular todos los posibles valores de verdad de una frmula considerando todas las valuaciones posibles. Frmula secuencia finita de variables y conectivos: conociendo valor de verdad de las k variables de la frmula se puede construir la tabla de verdad Tamao de la tabla de verdad = 2k filas Ejemplo: Para la frmula
p 0 0 1 1 q 0 1 0 1

A=pq
p q 0 0 0 1

q
1 1 1 0

q
1 0 1 0

p q q

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Definiciones: Una tautologa es una frmula A que es verdadera bajo toda valuacin. Es decir, A es tautologa s y slo s para toda valuacin v, v(A) = 1 En la tabla de verdad, todos los elementos de la columna correspondiente a la frmula son 1. En smbolos =A

Una contradiccin es una frmula A que es falsa bajo toda valuacin. Es decir, A es contradiccin s y slo s para toda valuacin v, v(A) = 0 Una contingencia es una frmula A que es no es ni tautologa ni contradiccin. Una frmula A es una tautologa s y slo s su negacin A es una contradiccin.
Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Definiciones:

Una valuacin v satisface una frmula A si v(A) = 1

Una frmula A se dice satisfacible si existe alguna valuacin v que la satisfaga, es decir para alguna valuacin v, v(A) = 1. En caso contrario, A es insatisfacible (contradiccin).

Una valuacin v satisface un conjunto de frmulas Fm si v satisface cada frmula de , es decir v(A) = 1 para toda frmula A Un conjunto de frmulas son mutuamente satisfacibles, o consistentes entre s, si existe al menos una valuacin v que satisface cada frmula de , es decir v(A) = 1 para toda frmula A

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Equivalencia Lgica: Dos frmulas A y B se dicen equivalentes, A B, s y slo s para toda valuacin v, v(A) = v(B) es una relacin de equivalencia en el conjunto de las frmulas Fm , es decir cumple las propiedades: Reflexiva: A A Simtrica: Si A B entonces B A Transitiva: Si A B y B C entonces A C Ejemplos: A B A B A A A A A A
Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Equivalencia Lgica: Lema Sean A, B Fm. Entonces A B s y slo s v(A B) = 1 para toda valuacin v.
Demostracin: ) Si A B entonces para cualquier valuacin v, v(A) = v(B). Por lo tanto v(A B) = v(A) v(A) = 1 y v(B A) = v(B) v(B) = 1 Entonces v(A B) = v(A B) v(B A) = 1 ) Sea v(A B) = 1. Es decir, v(A B) = 1 y v(B A) = 1 Supongamos que A B, es decir existe v tal que v(A) v(B). Se pueden dar dos casos: v(A) = 1 y v(B) = 0 entonces v(A B) = 1 0 = 0 v(A) = 0 y v(B) = 1 entonces v(B A) = 1 0 = 0 En cualquier caso, se obtiene una contradiccin. Por lo tanto v(A) = v(B) y entonces A B
Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Sustitucin: Es una funcin e: Fm Fm que cumple con las siguientes propiedades para todo A, B Fm e( A) = e(A)

e(A B) = e(A) e(B) e(A B) = e(A) e(B) e(A B) = e(A) e(B) Teorema: Dadas A, B Fm tal que A B, y dada la sustitucin e, entonces e(A) e(B) Ejemplo: Sea p q p q y sea e(p) = a b y e(q) = a c

Aplicando e a b a c (a b) a c (se reemplaza cada ocurrencia de la variable)

Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009

Lgica Proposicional: Semntica

Definicin: Sea A B y X una frmula donde A puede aparecer varias veces como subfrmula. Si se reemplaza en X la subfrmula A por B (en todas o alguna de sus ocurrencias) la frmula Y obtenida es equivalente a X. Ejemplo: Sea X = (p q) ((p q) p)

y la equivalencia p q p q

Reemplazando en X se obtiene la frmula Y = ( p q) ((p q) p) Se puede verificar que X Y Sustitucin vs. Reemplazo
La sustitucin preserva la equivalencia entre las dos frmulas porque se hace en toda ocurrencia de la frmula sustituida (no requiere que la frmula sustituida sea equivalente a la
sustituyente)

El reemplazo preserva la equivalencia porque la frmula sustituyente es equivalente a la sustituida (no requiere realizarse en toda ocurrencia de la frmula sustituida)
Ciencias de la Computacin II - Filminas de Clase Mg . Virginia Mauco Facultad Cs. Exactas UNCPBA - 2009