Está en la página 1de 30

Reglas de inferencia

logica
Si la ballena es un mamfero
entonces toma oxgeno del aire. Si
toma el oxgeno del aire, entonces
no necesita branquias. La ballena
es un mamfero y vive en el
ocano. Podemos concluir que no
necesita branquias.
La conclusin es vlida o no es
vlida como saberlo?
MODUS PONENDO PONENS(MPP O
PM)
Ejemplo
p: Si llueve entonces el cielo esta nublado
p: llueve
el cielo esta nublado

p q
p
q
MODUS PONENDO PONENS(MPP O
PM)
Ejemplo
p: Si el esta en el partido de futbol, entonces
no fue a estudiar
p: el esta en el partido de futbol
el no fue a estudiar

p q
p
q
MODUS PONENDO PONENS(MPP O
PM)
Ejemplo
p: Si no hace frio, entonces el lago lago no se
helara
p: el esta en el partido de futbol
el lago lago no se helara

p q
p
q
DESARROLLA EN TU CUADERNO
Que conclusin se puede sacar de cada uno de
los siguientes conjuntos de premisas utilizando
MPP es decir que proposicin lgica se sigue de
esas premisas?
1)Si no nos despedimos ahora, entonces no
cumpliremos nuestro plan. No nos despedimos
ahora.
2)Son las 8:00 pm. Si son las 8:00 pm, entonces
en la UCV no hay atencin en la biblioteca
DESARROLLA EN TU CUADERNO
Utilizando modus ponendo ponens sacar una
conclusin de cada una de los conjuntos de premisas
siguientes. Escribir la conclusin en la tercera lnea
I) 1)p q r
2) p q
3)

II) 1) p q r
2)p
3)
DESARROLLA EN TU CUADERNO
Decir si es valida o no es valida la siguientes
inferencias utilizando modus ponendo ponens
1) p y p r r 2) p s y s p

3)s y s t s 4) p q y p q



MODUS TOLLENDO TOLLENS(TT)
Ejemplo
p: Si tiene luz propia, entonces el astro es una
estrella
p: el astro no es una estrella
no tiene luz propia

p q
q
p
MODUS TOLLENDO TOLLENS(TT)
Ejemplo
p: Si no sales temprano de tu casa, entonces
no llegaste temprano a la UCV
p: llegaste temprano a la UCV
no tiene luz propia

~p q
q
p
DESARROLLA EN TU CUADERNO
Que conclusin se puede sacar de cada uno de
los siguientes conjuntos de premisas utilizando TT
es decir que proposicin lgica se sigue de esas
premisas?
1) Si el arriendo se mantiene vlido, entonces el
dueo es responsable de las reparaciones. El
dueo no es responsable de las reparaciones
2) . Si llovi la pasada noche, entonces el patio
principal de la UCV se ha limpiado, el patio
principal de la UCV no se ha limpiado
DESARROLLA EN TU CUADERNO
Utilizando modus tollendo tollens sacar una conclusin
de cada una de los conjuntos de premisas siguientes.
Escribir la conclusin en la tercera lnea
I) 1)p q r
2) r
3)

II) 1) (p q ) ( q r)
2) q r
3)
DESARROLLA EN TU CUADERNO
Decir si es valida o no es valida la siguientes
inferencias utilizando modus ponendo ponens
1) r y p r r 2) p s y s p

3) t y s t s 4)(p r) q y q
(p r)



SILOGISMO HIPOTETICO
Ejemplo
p: Si un astro tiene luz propia, entonces brilla
p: Si brilla , entonces es una estrella
Si un astro tiene luz propia, entonces es
una estrella

p q
q r
\p r

MODUS TOLLENDO PONENS(TP)
Ejemplo
p
1
:O Mara naci en lima o en Chiclayo
p
2
: Mara no naci en lima
Mara naci en Chiclayo

p q
p
q
MODUS TOLLENDO PONENS(TP)
Ejemplo
p
1
:O Mara aprueba el curso de habilidades
lgicas o desaprueba
p
2
: Mara no desaprueba
Mara aprueba el curso de habilidades
lgicas

p q
q
p
DESARROLLA EN TU CUADERNO
Que conclusin se puede sacar de cada uno de
los siguientes conjuntos de premisas
utilizando TP es decir que proposicin lgica
se sigue de esas premisas?
1) Este hombre o es un abogado o es un
poltico. No es un abogado.
2) El puerto de Nueva Orleans o est en el
golfo de Mjico o est en el ocano Atlntico.
No est en el ocano Atlntico.
DESARROLLA EN TU CUADERNO
Utilizando modus Tollendo Ponens sacar una
conclusin de cada una de los conjuntos de premisas
siguientes. Escribir la conclusin en la tercera lnea
I) 1)(p q) r
2) r
3)

II) 1)( p q) r
2) ( p q)
3)
DESARROLLA EN TU CUADERNO
Decir si es valida o no es valida la siguientes
inferencias utilizando modus Tollendo Ponens(TP)
1) r y p r p 2) p s y p s

3) t y s t s 4)(p r) q y q
(p r)



MODUS PONENDO TOLLENS(PT)
Ejemplo
p
1
:O bien es de da o bien es de noche
p
2
: es de da
no es de noche
p q
p
q
ADJUNCION (A)
Ejemplo
P
1
: Mara es psicloga
p
2
: Juan es arquitecto
Mara es psicloga y Juan es arquitecto

p
q
p q
SIMPLIFICACION(S)
Ejemplo
P
1
: Mara es psicloga y abogada
Mara es psicloga
p q
p
SIMPLIFICACION(S)
Ejemplo
P
1
: Mara es psicloga y abogada
Mara es abogada
p q
q
LEY DE ADICION(LA)
Ejemplo
P
1
: Mara es psicloga
Mara es psicloga o contadora
p
p q
SILOGISMO DISYUNTIVO(SD)
Ejemplo
P
1
:la ballena es un mamfero o vive en el agua
P
2 :
Si la ballena es un mamfero entonces toma
oxgeno del aire.
P
3
:Si vive en el agua, entonces tiene branquias.
toma oxgeno del aire o tiene branquias

p q
p r
q s
\r s

SILOGISMO DISYUNTIVO(DS)
Ejemplo
P
1
:la ballena es un mamfero o vive en el agua
P
2 :
Si la ballena es un mamfero entonces toma
oxgeno del aire.
P
3
:Si vive en el agua, entonces tiene branquias.
toma oxgeno del aire o tiene branquias

p q
p r
q s
\r s

SIMPLIFICACION DISYUNTIVA(SD)
Ejemplo
P
1
:la ballena es un mamfero o vive en el oceano
pacifico
P
2 :
Si la ballena es un mamfero entonces toma
oxgeno del aire.
P
3
:Si vive en el oceano pacifico, entonces toma
oxigeno del aire.
toma oxgeno del aire

p q
p r
q r
\r


SILOGISMO HIPOTETICO

DESARROLLA EN TU CUADERNO
Que conclusin se puede sacar de cada uno de
los siguientes conjuntos de premisas utilizando
MPP es decir que proposicin lgica se sigue de
esas premisas?
1)Si no nos despedimos ahora, entonces no
cumpliremos nuestro plan. No nos despedimos
ahora.
2)Son las 8:00 pm. Si son las 8:00 pm, entonces
en la UCV no hay atencin en la biblioteca