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
Introduccin
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
Lgica Proposicional
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
Lenguaje de la Lgica Proposicional
Ejemplos de lo que seran proposiciones?
ejemplo de lo que no seran proposiciones?
 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 7 b), (a b)
1. pertenecen a LP
4.2. ,establece
Se la jerarqua de operadores:
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
 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
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

((p7 q) 7 r) p q
(p 7 q) q p
(p q) 7 p q 7 (r 7 p q)
Comentario
s
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)
Comentario
s Insatisfacible: contradiccinninguna
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)
 Sea S = {S1, , Sn} un conjunto de frmulas
Modelo de un conjunto de frmulas

P.E. Sea S = {p q, q r, q 7 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
Consecuencia Lgica
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