Inteligencia Artificial

Ing. En Mecatrnica

Lgica

proposicional

Bustamante Moreno Orlando Rodrigo

Daz Tovar Jess Rubn
Fernndez Plascencia Diego ngel
Jimnez Ochoa Karla Berenice
Rodarte Rivera Javier Alejandro
Zambrano Aguirre Sergio

Lgica proposicional
Sintaxis
Semntica
Formas normales

Lgica proposicional
Estudio

de
mtodos,
tcnicas
y
procedimientos para establecer la
validez o invalidez de los razonamientos
cuyas proposiciones son consideradas
como un todo y como un elemento
mnimo de anlisis.

 Razonamiento:

Es el proceso del pensamiento, que encadena

juicios entre si para llegar a una conclusin. Puede
efectuarse por analogas, deduccin o induccin.
Pensamiento:
Imaginar
Discusi
Juicio en
Proceso
en el que
las ideas seRevisi
van estructurando
n
interna
la mente para completar una n
declaracin.
Cuarto paso

Tercer paso

Segundo paso

Primer paso

 Proposicin

lgica

Son pensamientos verdaderos o falsos en los que se

afirma
algo,
estos
se
expresan
mediante
enunciados u oraciones declarativas

Dos aplicaciones:
Inteligencia

artificial:
Representacin
de
conocimiento, razonamiento con sentido comn.

Teora

de
la
computacin:
complejidad
descriptiva, algoritmos de aproximacin.

Sintaxis
Variables

proposicionales (P):
p, q, r, . . .

Conectivos

lgicos: , , , v,

Variables proposicionales
Cada

variable proposicional representa

una proposicin completa e indivisible,
que puede ser verdadera o falsa.

Conectores Lgicos
Se

pueden combinar con conectores lgicos, dando

preposiciones compuestas:
Conjuncin (^,&)
Disyuncin (v)
Negacin (~,-)
Condicional ()
Bicondicional ()
Disyuncin excluyente
Lasconectivassiempre estn entre dos variables, o
grupos de variables moleculares, y unen dos variables
entre s. Nunca van solo con una variable atmica o
con diversas variables moleculares unidas por un
parntesis.

 Solo

algunas combinaciones de tomos y

conectores son permitidas, a esto se le llama
formulas bien formadas (fbf)
Toda proposicin atmica es una wf
Si A es una fbf, entonces A tambin es una fbf
Si A y B son fbf, entonces&(AB), (AB) y (AB)
tambin son fbf

Semntica
La semntica en la lgica es el significado de las
proposiciones, con una asignacin de valor
El significado de una proposicin est dado por
su valor de verdad ( Verdadera o Falsa)

Las variables proposicionales pueden tomar

cualquier valor de verdad

Convencin:
0 = Falso 1 = Verdadero

Las proposiciones atmicas tienen un valor de

verdad conocido.
Se abstraen las proposiciones simples a letras.
La frase Los perros comen salchichas con tuco
colapsa a, por ejemplo, p0
Y

si esa frase es verdad en un mundo v, diremos

que v(p0) = 1. Y si es falsa, diremos que v(p0) =
0.

Resumiendo

Prop est definido inductivamente.

La semntica est dada por los valores de verdad
de la proposiciones ya sean simples o complejas.
Se buscar la forma de construir esa semntica
teniendo en cuenta que:
Las letras proposicionales pueden tomar cualquier
valor.
El valor de las letras proposicionales se
transmite, lo que permite calcular el valor de las
proposiciones complejas en funcin del valor de las
proposiciones ms simples.

Formas normales
Existen dos formas normalizadas de escribir frmulas en lgica
proposicional: la forma normal conjuntiva y la forma normal
disyuntiva.
1.

Una forma normal conjuntiva (FNC) es una conjuncin de

disyunciones de literales:

(L11 o L12 o .. o L1n) y (L21 o L22 o .. o L2n) y (Lm1 o Lm2 o .. o

Lnm)
2.

Una forma normal disyuntiva (FND) es una disyuncin de

conjunciones de literales:

(L11 y L12 y .. y L1n) o (L21 y L22 y .. y L2n) o (Lm1 y Lm2 y .. y

Lnm)

Una mxima de la lgica proposicional asegura

quecualquier frmula perteneciente a PROP,
tiene una frmula equivalente en forma normal
disyuntiva y otra en forma normal conjuntiva.
Para convertir una frmula cualquiera a una en
forma normal, utilizamos un sencillo algoritmo:
Eliminar las implicaciones.
Exteriorizar las negaciones (leyes de
Morgan).
Eliminar dobles negaciones.
Aplicarla ley distributiva, segn la forma
normal que queramos conseguir.