Lgica proposicional

Ivan Olmos Pineda

Introduccin
Originalmente, la lgica trataba con argumentos en el lenguaje natural es el siguiente argumento vlido?
Todos los hombres son mortales Scrates es hombre Por lo tanto, Scrates es mortal

En el lenguaje natural, se presentan una infinidad de argumentos, en los cuales tenemos que determinar la veracidad o falsedad de enunciados complejos

Lgica Proposicional
Ejemplos de otros argumentos
Algunas personas son polticas Scrates es una persona Por lo tanto, Scrates es poltico Creo que todos los hombres son mortales Creo que Scrates es hombre Por lo tanto, creo que Scrates es mortal

Estos argumentos son vlidos?

Lgica Proposicional
Tambin se pueden presentar cuestionamientos interesantes como los siguientes:
Sea A = {1, 2, 3}
A A? A A? A A?

Sea X = {{1,2,3},{4,5}}
X X? A X?

Porqu se necesita la lgica?

Con la lgica, se busca formalizar la representacin de diferentes argumentos, no importando el origen de los mismos
Sintaxis precisa Semntica bien definida

Se busca aplicar a
Matemticas: definicin de objetos matemticos, definicin de teoras matemticas, tcnicas de demostracin Aplicarlo para formalizar diversos aspectos en el rea de computacin

Aplicaciones de la lgica en la computacin

Lenguajes de programacin: como se estructura la lgica de un programa Bases de datos: lenguajes de consulta Inteligencia artificial: tcnicas para el razonamiento, deduccin de conocimiento Anlisis y diseo de algoritmos: anlisis de complejidad de los problemas SU IMPACTO EN LA COMUTACIN ES MUY FUERTE!

Lenguaje de la Lgica Proposicional

La lgica proposicional pretende estudiar las frases declarativas simples (enunciados o proposiciones)
Estos elementos son los utilizados como base para la transmisin de conocimiento humano

Una proposicin se define como un enunciado que puede ser calificado como verdadero o falso y que no puede descomponerse en otras frases verdaderas o falsas Ejemplos de lo que seran proposiciones? ejemplo de lo que no seran proposiciones?

Lenguaje de la Lgica Proposicional

Para relacionar las proposiciones, se utilizan diferentes conectivos

Lenguaje de la Lgica Proposicional

Alfabeto de la Lgica Proposicional

La siguiente tabla describe todo el alfabeto utilizado en la lgica proposicional

Sintaxis de la Lgica Proposicional

1. 2. 3.
1.

Las constantes V (verdadero) y F (falso) pertenecen a LP Las letras de proposicin p, q, r, pertenecen a LP Si a y b pertenecen a LP, entonces:
a, b, (a b), (a b), (a , , b), (a b) pertenecen a LP

4.
1. 2. 3.

Se establece la jerarqua de operadores:

Ejercicios 1
Formalizar las siguientes expresiones:
a) q si p b) p pero q c) como mnimo p d) p no obstante q e) q necesario para p f) q suficiente para p g) p a pesar de q h) No p a menos que q i) p slo si q j) p sin embargo q k) p suficiente para q l) p siempre que q m) p a no ser que q

Ejercicios 2
Formalizar los siguientes razonamientos
Si el resultado obtenido es superior al previsto en 5 unidades, ser debido a no haber realizado el proceso a la temperatura adecuada o la existencia de errores en los clculos finales El anlisis realizado, innecesario si nos dejamos llevar por la precipitacin, se torna necesario si nos paramos a reflexionar sobre el mensaje que se pretende transmitir

Soluciones Ejercicios 1

Solucin Ejercicios 2

Semntica de la Lgica Proposicional

Una interpretacin de una frmula F en lgica proposicional es una asignacin de valores {V, F} a cada una de las letras proposicionales de F. El valor de una proposicin p bajo una interpretacin I se denota como VI(p)
A partir de las interpretaciones, combinada con los conectivos lgicos, se formulan valores de verdad para frmulas de diferente complejidad

Semntica de la Lgica Proposicional

Sea la frmula F y una interpretacin I, el valor F bajo I es:

Semntica de la Lgica Proposicional

Ejemplos
Determine el valor de las siguientes frmulas bajo las interpretaciones siguientes
VI(p) = V, VI(q)= V, VI(r)=F ((p q) r) p q (p q) q p (p q) pq (r

p q)

Comentarios
Una interpretacin I es un MODELO para una frmula F si VI(F) = V Existe una clasificacin de las frmulas proposicionales
Vlida o tautologa: todas las interpretaciones son un modelo (para toda interpretacin I, tal que VI(F) = V), denotado por |= F Satisfactible: alguna interpretacin es un modelo (existe una interpretacin I, tal que VI(F) = V) Insatisfacible: contradiccin ninguna interpretacin es un modelo (no existe una interpretacin I, tal que VI(F) = V)

Tautologas
Listado de algunas tautologas conocidas

Modelos
Notacin:Vi |= F (Vi es un modelo de F) Por ejemplo, considere F = (p q) (q r)
v1(p) = v1(r) = V, v1(q) = F, entonces v1 |= (p q) (q r) v2(r) = V, v2(p) = v2(q) = F, entonces v2 | (p q) (q r)

Modelos
Sea S = {S1, , Sn} un conjunto de frmulas Modelo de un conjunto de frmulas

P.E. Sea S = {p q, q r, q S

r}, citar algn modelo para

Equivalencia Lgica

Equivalencia Lgica
Se dice que A y B son equivalentes lgicamente (denotado como A B A B), si para toda interpretacin I, se cumple que VI(A) = VI(B) Existen algunas equivalencias ya conocidas dentro de la lgica proposicional

Equivalencias lgicas

Consecuencia Lgica
Sea C un conjunto de frmulas {P1, , Pn} y sea Q una frmula. Se dice que Q es consecuencia lgica del conjunto C de premisas (se denota C Q) si toda interpretacin que es un modelo de C es tambin un modelo de Q
VI(P1) = VI(P2) = = VI(Pn) = V, entonces VI(Q) = V Q es consecuencia lgica de unas premisas es equivalente a pensar que Q toma valor V en cualquier mundo en el que las premisas tomen valor V

{P1, , Pn} Q se denomina razonamiento, donde {P1, , Pn} se denominan premisas y Q la conclusin