Mg.

Samuel Oporto Daz

Lima, 2 de Julio 2005
Lgica Proposicional
INTELIGENCIA ARTIFICIAL
2 /42
Tabla de Contenido
1. Lgica Proposicional.
2. Sintaxis
3. Semntica
4. Bibliografa
3 /42
Objetivos
Presentar los conceptos bsicos de la lgica
proposicional.
4 /42
LOGICA PROPOSICIONAL
5 /42
Lgica Proposicional
Llamada de lgica de enunciados o lgica de orden 0, no
tiene, por s misma, mucha utilidad para la
representacin del conocimiento.
Es la lgica ms sencilla de la lgica simblica.
Trata de la verdad o falsedad de una o varias
proposiciones.
Desde el punto de vista terico es una forma restringida
de la lgica de predicados de primer orden.
Desde el punto de vista prctico es la base de los
sistemas basados en reglas con triplas objeto-atributo-
valor.
6 /42
Proposicin
Una proposicin es una sentencia (oracin)
correctamente formada que puede ser verdadera o falsa
Es una sentencia declarativa.
Representa un hecho de la realidad.
Es una oracin del lenguaje que consta de un sujeto y
un predicado, tiene un valor afirmativo.
Las oraciones interrogativas, exclamativas, imperativas,
no afirman nada y no pueden ser considerados
enunciados.
7 /42
Ejemplos
Oraciones
Luis y Marta van de pesca.
Luis llam a Marta para salir.
El autobs pasa a las seis
Maana llover.
sintate!
cundo sale el autobs?
fueron a pescar Luis y Marta finalmente?


8 /42
Aplicaciones
Anlisis de circuitos
Anlisis y confiabilidad de sistemas mediante
rboles lgicos.
Aplicaciones de satisfactibilidad a problemas de
planeacin.
9 /42
Sintaxis y Semntica
Sintaxis
Conjuncin ().
Disyuncin (V)
Implicacin
Premisas
Conclusin.
Equivalencia
Negacin.
Sentencias Atmicas
Sentencias Completas

Semntica
Tabla de verdad.
Validez e inferencia
Modelos
Reglas de inferencia

10 /42
SINTAXIS





11 /42
Smbolos
Los smbolos usados en la lgica propositiva son:
Las constantes lgicas Verdadero y Falso.
Los smbolos de proposiciones tales como P y Q.
Los conectivos lgicos , , , , y y parntesis ().
Todas las oraciones se forman combinando los smbolos
anteriores mediante ciertas reglas.
Las constantes lgicas Verdadero y Falso constituyen
oraciones en s mismas
Un smbolo propositivo como P o Q es una oracin en s
misma.
Encerrar entre parntesis una oracin produce tambin
una oracin, por ejemplo (P Q).
12 /42
Sintaxis
Conjuncin () (y). A la oracin cuyo conector principal
es (y) se le llama conjuncin, y a sus partes se les
llama coyuntos.
Disyuncin (V) (o). A la oracin cuyo conector principal
es (o) se le llama disyuncin, y a sus partes se les
llama disyuntos.
Implicacin (). Una oracin como P R se conoce
como implicacin (o condicional), su premisa o
antecedente es P y su conclusin o consecuente es
Q. A las implicaciones tambin se les llama reglas o
aseveraciones si-entonces.
Premisas. Son los antecedentes de una implicacin.
Premisa1: Si un libro es sobre ordenadores entonces es terriblemente aburrido
Premisa2: ste es un libro sobre ordenadores
Conclusin: Este libro es terriblemente aburrido
13 /42
Sintaxis
Conclusin.
Corresponden al
consecuente de una implicacin
Equivalencia.
Dos sentencias y son equivalentes lgicamente si es que son
verdaderas con el mismo conjunto de hechos.
Negacin (no).
A una oracin como P se le llama negacin de P. es el nico
de los conectores que funcionan como una sola oracin.
Sentencias Atmicas.
Verdadero, falso, P, Q, R, S
Sentencias Completas.
Sentencia | Conectivos | Sentencias
Sentencia
Premisa1: A B
Premisa2: A
Conclusin: B
14 /42
Ejercicios
Formaliza las siguientes proposiciones:
1. No es cierto que no me guste bailar
2. Me gusta bailar y leer libros de ciencia-ficcin.
3. Si los gatos de mi hermana no soltaran tanto pelo me gustara
acariciarlos.
4. Si y slo si viera un marciano con mis propios ojos, creera que
hay vida extraterrestre.
5. Una de dos: o salgo a dar un paseo, o me pongo a estudiar
como un energmeno.
6. Si los elefantes volaran o supieran tocar el acorden, pensara
que estoy como una regadera y dejara que me internaran en
un psiquitrico.
7. Prefiero ir de vacaciones o estar sin hacer nada si tengo
tiempo para ello y no tengo que ir a trabajar.
15 /42
Solucin
1. [B me gusta bailar]. (B)

2. [B me gusta bailar. C me gusta leer libros de ciencia ficcin]. B C

3. [G los gatos de mi hermana sueltan pelo. A me gusta acariciar los
gatos ]. GA

4. [M ver un marciano con mis propios ojos. E creer en los
extraterrestres ]. M E

5. [P salir a dar un paseo. E estudiar como un energmeno]. P V E

6. [V los elefantes vuelan. T los elefantes tocan l acorden. L estar
loco. P internar en un psiquitrico ]. ( V V T ) ( l P)

7. [ V ir de vacaciones. N no hacer nada. T tener tiempo. I ir a trabajar].
(T I ) (V V N )
16 /42
Ejercicios
Formaliza la siguientes proposicin:
Si tuvieran que justificarse ciertos hechos por su enorme tradicin
entonces, si estos hechos son inofensivos y respetan a todo ser viviente
y al medio ambiente, no habra ningn problema. Pero si los hechos son
brbaros o no respetuosos con los seres vivientes o el medio ambiente,
entonces habra que dejar de justificarlos o no podramos considerarnos
dignos de nuestro tiempo.

J. Justificar hechos
T. Enorme tradicin.
I. hechos inofensivos y respetan a todo ser vivo y al medio ambiente
N. no hay problema
D. dignos de nuestro tiempo

[(J T) (I N)] [(-I -J) V D]
17 /42
Ejercicios
Formaliza la siguientes proposicin:
Mary puede escribir el programa en Fortran o Pascal o de plano
no escribirlo. Si no escribe el programa sacar cero y reprobar el
curso. Si reprueba el curso ser puesta en el padrn de jalados y
si se saca cero su novio la dejar. Si Mary escribe el programa en
Fortran reprobar el curso pero si lo escribe en Pascal pasar.

P: Mary escribe el programa en Pascal
Q: Mary escribe el programa en Fortran
R: Mary no escribe el programa
S: Mary saca un cero
T: Mary reprueba el curso
U: Mary es puesta en el padrn de jalados
V: El novio de Mary la deja.

(PvQvR) ^ (PvQR) (R(S ^ T) ^ (TU) ^ (QT) ^ (PT)
18 /42
SEMNTICA

19 /42
Semntica
Tablas de Verdad.
P Q P P Q P Q P Q P Q
F F V F F V V
F V V F V V F
V F F F V F F
V V F V V V V
20 /42
Semntica
Validez e inferencia
Se puede obtener la validez de una oracin compleja de la
siguiente manera:

P H P H (P H) P ((P H) P ) P
F F F F V
F V V F V
V F V V V
V V V F V
21 /42
Semntica
Modelo
Un mundo en el que una oracin es verdadera de acuerdo con
determinada interpretacin se denomina modelo de dicha
oracin bajo tal interpretacin.
Los modelos son muy importantes para la lgica, puesto que
una oracin es implicacin de una base de conocimientos BC
cuando los modelos de BC tambin son todos modelos de .
Siendo este el caso, siempre que BC sea verdadera, tambin
ser verdadera.

22 /42
Reglas de Inferencia
La inferencia lgica es un proceso mediante el que se
implanta la relacin de implicacin que existe entre dos
oraciones.
Existen ciertos patrones de inferencia que se presentan
una y otra vez, lo que permite establecer de una vez por
todas su confiabilidad.
La regla permite evitar pasar por las tablas de verdad.

|= , que significa que se puede obtener desde
mediante inferencia.

23 /42
Reglas de Inferencia
Modus Ponens
Y-Eliminacin
Y-Introduccin.
O-Introduccin.
Doble Negacin Eliminacin.
Resolucin Unitaria
Resolucin.
24 /42
Bibliografa
AIMA. Captulo 6, primera edicin.
AIMA. Chapter 7, second edition.


25 /42

PREGUNTAS