Matemticas Discretas

INFERENCIA
DEDUCCIN

Inferencia

Inferir

conclusin a partir de premisas

aplicando reglas de inferencia
 Premisas: hiptesis, supuestos bsicos
 Conclusin: proposicin a probar
 Reglas de Inferencia: medio para
extraer conclusiones a partir de
premisas

Inferencia

Prueba formal: aplicacin de reglas de

inferencia para derivar la conclusin
Conclusin vlida: conclusin a la que
se llega aplicando reglas de inferencia

Inferencia

Mecanismos de inferencia o deduccin

 Tablas de verdad
 Procedimiento de resolucin
 Reglas de inferencia
....

Deduccin natural

Reglas Bsicas
 Regla P: Una premisa se puede
introducir en cualquier paso de la
deduccin
 Regla T: Una frmula S se puede
incorporar en la deduccin, si S est
tautolgicamente implicada por una o
ms frmulas anteriores en la deduccin

Deduccin natural

Reglas Bsicas
 Regla PC
Si una frmula s se pude deducir de otra
frmula r y un conjunto de premisas,
entonces el enunciado (r s) se puede
deducir a partir del conjunto de premisas
unicamente
(p r ) s p (r s)

Reglas de Deduccin natural

Simplificacin
(p q) p ( p q p)
(p q) q ( p q q)

Adicin
ppq
qpq

Conjuncin
(p) (q) (p q)

Reglas de Deduccin natural

Modus Ponens
(p (p q)) q

Modus Tollens
(q (p q)) p

Silogismo Hipottico
[(pq) (q r)] (p r)

Silogismo Disyuntivo
[(p q) p] q

Reglas de Deduccin natural

Resolucin

[(p q) (p r )] (q r)

Dilema

[(p q) (p r) (q r)] r

Argumentos vlidos: Ejemplo

Si llueve mucho, el viaje ser dificil. Si los
estudiantes llegan a tiempo entonces el viaje no
fu dificil. Los estudiantes llegaron a tiempo.
Por tanto, no llovi mucho
p: llueve mucho
q: el viaje es dificil
r: los estudiantes llegaron a tiempo

Argumentos vlidos: Ejemplo

deduccin natural
Premisas: p q, r q, r
Conclusin: p
Argumento
Razn
1. p q
Regla P
2. q p
contrareciproca de 1
3. r q
Regla P
4. r p
Silogismo Hipottico (2,3)
5. r
Regla P
6. p
Modus Ponens (4,5)

Argumentos vlidos: Ejemplo

Refutacin
Premisas: p q, r q, r
Conclusin: p
1. p q
2. r q
3. r
4. p
5. q
Resolvente(1,4)
6. r
Resolvente (2,5)
7.
Resolvente (3,6)

Ejemplo
Si me mandas un e-mail entonces acabar de escribir el
programa. Si no me mandas un e-mail me ir a la cama
temprano y si me voy a la cama temprano, me levantar
descansado. Por lo tanto, si no acabo de escribir el
programa, me levantar descansado.
p: me mandas un e-mail
q: acabar de escribir el programa
r: me ir a la cama temprano
s: me levantar descansado

Ejemplo
1.
2.
3.
4.

p q
p r
r s
q s

Ejemplo: refutacin por resolucin

1.
2.
3.
4.
5.
6.
7.
8.
9.

pq
pr
rs
q
s
p
r
s

Resol(1,4)
Resol(2,6)
Resol(3,7)
Resol(5,8)

Argumentos vlidos: Ejemplo deduccin

natural
Premisas: p q, p r, r s
Conclusin: q s
Argumento
Razn
1. p q
Hiptesis
2. q p
contrareciproca de 1
3. p r
Hiptesis
4. q r
Silogismo Hipottico (2,3)
5. r s
Hiptesis
6. q s
Silogismo Hipottico (4,5)

Inferencia en LP: Algunas Reglas

Particularizacin Universal
p(c) es verdadera, c es un elemento del dominio
cuando la premisa x p(x) es verdadera
x p(x)
p(c)

Inferencia en LP: Algunas Reglas

Generalizacin Universal
Se afirma que x p(x) es verdadera, dada la
premisa que p(c) es verdadera para todo
elemento c del dominio.
p(c), para un c arbitrario
x p(x)

Inferencia en LP: Algunas Reglas

Particularizacin Existencial
es posible afirmar que p(c) es verdadera,
cuando x p(x) es verdadera
x p(x)
p(c) para algn elemento c

Inferencia en LP: Algunas Reglas

Generalizacin Existencial
es posible concluir que x p(x) es verdadera,
cuando se conoce un elemento particular c con
p(c) verdadera
p(c) para algun elemento c
x p(x)

Ejemplo de razonamiento
Todos los hombres son mortales. Scrates es
hombre. Por lo tanto, Scrates es mortal
mortal(x): x es mortal hombre(x): x es hombre
x (hombre(x)mortal(x)) hombre(s) mortal(s)

Ejemplo de razonamiento
x (hombre(x)mortal(x)) hombre(s) mortal(s)
Premisas: x (hombre(x)mortal(x)) , hombre(s)
Conclusin: mortal(s)
Argumento
Razn
1.
x (hombre(x)mortal(x)) Hiptesis
2.
hombre(s)mortal(s))
Particularizac. Universal(1)
3.
hombre(s)
Hiptesis
4.
mortal(s)
Modus Ponens (2,3)

Ejemplo
Un estudiante de esta clase sabe cmo escribir
programas en JAVA. Todo el que sepa cmo
escribir programas en JAVA puede conseguir un
trabajo bien pagado. Por lo tanto, alguien en
esta clase puede conseguir un trabajo bien
pagado

Simbolizacin
c(x): x est en clase, j(x): x sabe cmo escribir
programas JAVA, t(x):x puede conseguir un
buen trabajo.
Hiptesis
x(c(x) j(x))
x (j(x) t(x))
Conclusin
x(c(x) t(x))

Prueba
1.
2.
3.
4.
5.
6.
7.
8.
9.

x(c(x) j(x))
Hiptesis
c(a) j(a)
Particularizacin existencial (1)
c(a)
Simplificacion (2)
j(a)
Simplificacin (2)
x (j(x) t(x))
Hiptesis
j(a) t(a)
Particularizacin Universal
t(a)
Modus Ponens (4,6)
c(a) t(a)
Conjuncin (3,7)
x(c(x) t(x))
Generalizacin Existencial