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

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:

1.
2.
3.
1.

a, b, (a b), (a b), (a
b), (a b) pertenecen a LP

Se establece la jerarqua de operadores:

4.
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