Beruflich Dokumente
Kultur Dokumente
ARTIFICIAL
LOGICA
PROPOSICIONAL
Ing Mg
Ing.
Mg. BRUNO ELIO VARGAS TAMANI
QUE ES LA LOGICA
LOGICA PROPOSICIONAL
Se ocupa d
S
de manipular
i l
variables lgicas que
representan proposiciones
proposiciones.
proposiciones
p
son
Las p
oraciones declarativas que
pueden ser verdaderas o
f l
falsas.
01/11/2011
EJEMPLO DE PROPOSICIONES
- Juan es estudiante.
- Luis estudia derecho.
- Mara es atleta.
- El libro es interesante.
- Elena retorn de clases.
01/11/2011
Hace calor
Hace fro
Est lloviendo
Es un da agradable
01/11/2011
Las proposiciones
p p
atmicas (las bsicas)
pueden ser
reemplazadas
l
d por lletras
t
como p
p, q
q, rr, ss, . , etc
etc.
01/11/2011
p = hace calor
q = hace fro
r = est lloviendo
s = es un da agradable
g
01/11/2011
10
LOGICA PROPOSICIONAL
11
LOGICA PROPOSICIONAL
- Sintaxis : Las oraciones que
usan
san los conectores se llaman :
((conector y AND)) conjuncin
j
(conector o OR) disyuncin
(conector
(
t no NOT) negacin
i
(conector implica si
entonces) implicacin.
i l
i
equivalencia.
01/11/2011
12
13
( p q )
01/11/2011
14
15
- Semntica : hechos a
que hacen alusin las
oraciones.
i
R
Relaciones
l i
d
de
las oraciones con los
hechos que representa
((interpretacin).
p
)
01/11/2011
16
LOGICA PROPOSICIONAL
- Semntica : el significado de
una oracin
i compleja
l j se
obtiene del significado de
cada una de sus partes. Se
obtiene los valores de cada
f
funcin
i con una tabla
t bl d
de
verdad
verdad.
01/11/2011
17
LOGICA PROPOSICIONAL
- Semntica
S ti : determina
d t
i como
puede atribuirse significado a
las frmulas atmicas y a las
frmulas compuestas. Estas
pueden tener el valor de
verdad o falso. El efecto de los
operadores lgicos se definen
en una tabla
t bl de
d verdad.
d d
01/11/2011
18
LOGICA PROPOSICIONAL
Semntica,Tablas de verdad
p q
p q
p q
pq
pq
F F
F V
V F
V V
01/11/2011
19
PROPIEDADES UTILES
SUPRESION DE LA
IMPLICACION
p q p q
01/11/2011
p
F
F
V
V
q
F
V
F
V
p pvq pq
V
V
V
V
V
V
F
F
F
F
V
V
20
PROPIEDADES UTILES
LEYES DE MORGAN
( p q ) p q
( p q ) p q
p
F
F
V
V
q
F
V
F
V
01/11/2011
21
PROPIEDADES UTILES
PROPIEDAD DISTRIBUTIVA
(a b) c (a c) (b c)
PROPIEDADES UTILES
PROPIEDAD DISTRIBUTIVA
(a b) c (a c) (b c)
.
a b c
F F F
F F V
F V F
F VV
V F F
V F V
V V F
V 01/11/2011
VV
- Teora de la
demostracin : conjunto
de reglas para deducir
l iimplicaciones
las
li
i
d
de un
conjunto de oraciones
oraciones.
01/11/2011
24
REGLA DE INFERENCIA
MODUS PONENS
ab , a
b
Si se cumple : (a implica b) y es
cierto a entonces es cierto b.
01/11/2011
25
REGLA DE INFERENCIA
MODUS PONENS
a
F
F
V
V
b
F
V
F
V
ab
a
b (ab)^a
(a b)^a
V
F
V
F
F
F
V
V
26
REGLA DE INFERENCIA DE
RESO UCION
RESOLUCION
( x y ) , ( y z )
x z
Si se ambas ( x y ) y ( y z )
son ciertas, entonces ( x z )
es cierta.
i t
01/11/2011
27
y
F
F
V
V
F
F
V
V
01/11/2011
z
F
V
F
V
F
V
F
V
xy yz ((xy)^(yz)
)^(
) xz
F
V
F
F
F
V
F
V
V
F
F
F
V V
V
V
V V
V
V
V V
V
V
V
F
F
V
V V
V
V
Ing. M.Sc. BRUNO VARGAS T.
28
CONTRADICCION MEDIANTE
RESOLUCION
- Si tenemos un conjunto de
proposiciones : A1, A2, A3,
.., An; todas ellas
verdaderas, entonces la
proposicin B es una
consecuencia
i l
lgica
i d
de :
01/11/2011
29
CONTRADICCION MEDIANTE
RESOLUCION
30
CONTRADICCION MEDIANTE
RESOLUCION
31
CONTRADICCION MEDIANTE
RESOLUCION
entonces
t
:
[(A1^A2^A3^...^An)B]=F
(A1^A
A2^A
A3^..^A
An))^B=F
B F
01/11/2011
32
CONTRADICCION MEDIANTE
RESOLUCION
- Entonces si consideramos
ahora al conjunto de
proposiciones : A1, A2, A3,
.., An, B;
B;
mediante la aplicacin de
01/11/2011
33
CONTRADICCION MEDIANTE
RESOLUCION
de la regla de inferencia de
resolucin se llegarn a
conclusiones contradictorias
o falsas o clasulas
resolventes vacas.
01/11/2011
34
CONTRADICCION MEDIANTE
RESOLUCION
- Se utiliza la resolucin
para demostrar que la
negacin de una sentencia
verdadera es inconsistente
con el conjunto de
sentencias
t
i verdaderas.
d d
01/11/2011
35
CONTRADICCION MEDIANTE
RESO UCION
RESOLUCION
- De esta manera :
haciendo una
demostracin mediante
contradiccin,
establecemos la verdad
d lla sentencia
de
t
i original.
i i l
01/11/2011
36
CONTRADICCION MEDIANTE
RESOLUCION
La contradiccin de una
sentencia mediante
resolucin, se opera de
esta manera :
1.- Convertir las sentencias
a la
l fforma clausal.
l
l
01/11/2011
37
CONTRADICCION MEDIANTE
RESOLUCION
38