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. Las constantes V (verdadero) y F (falso) pertenecen a LP
2. Las letras de proposicin p, q, r, pertenecen a LP
3. Si a y b pertenecen a LP, entonces:
1. a, b, (a b), (a b), (a
b), (a b) pertenecen a LP
4. Se establece la jerarqua de operadores:
1.
2. ,
3. ,
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)
p q
(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
r}, citar algn modelo para

S
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