Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Resumen Leyes de Inferencia
Resumen Leyes de Inferencia
p ( premisa)
(p q) r p (q r)
p q
(p q) r p (q r)
8. Silogismo disyuntivo (DS)
18. Leyes distributivas (LD)
p q
p r p (q r) (p q) (p r)
q s p (q r) (p q) (p r)
r s
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 1
DEDUCCIÓN PROPOSICIONAL
Con el manejo de unas pocas reglas empezamos a aprender el método de las deducciones formales. Es decir se
ha aprendido el camino preciso de demostrar que los razonamientos son válidos. Un razonamiento es
simplemente un conjunto de proposiciones dadas como premisas y una conclusión deducida de estas premisas.
Cuando se habla de válido se entiende que la conclusión es consecuencia lógica de las premisas. Una deducción
formal es una serie de proposiciones o pasos en la cual cada paso es una premisa o está deducida directamente
de los pasos que la preceden por medio de una determinada regla.
Según lo Manifiesta Tinoco (2008) podemos comparar el proceso de deducción o inferencia con un juego
El conjunto de premisas constituye la posición inicial del juego
Las jugadas están dadas por las reglas de deducción que veremos seguidamente
La meta del juego consiste en llegar a la conclusión deseada
Al mismo tiempo Tinoco resalta las siguientes reglas
3. REGLA PC (Regla de prueba condicional): Si una conclusión es de la forma p→q, entonces podemos
anexar p al conjunto de premisas y concluir q
4. REGLA RAA (Regla de prueba por reducción al absurdo): Para demostrar que un conjunto de premisas
conduce lógicamente a una conclusión, podemos agregar la negación de la conclusión al conjunto de
premisas y obtener alguna contradicción
La deducción proposicionales hace apoyándose en las leyes de inferencia lógica, puede hacerse teniendo un
argumento en forma simbólica o en forma oracional. Veamos los siguientes ejemplos:
1) e s
2) t j
3) e j
Demostración
1) e s
2) t j
3) e j
4) e 3.S
5) s 1,4PP
6) j 3.S
7) t 2 ,6TT
8) t s 5 ,7 A
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 2
Ejemplo 2: Deducir t
1) ( p q) r
2) (q r)
3) s p
4 )s t
________
5) p (q r ) 1. Exp
6) p 2 ,5 TT
7) s 3,6 TP
8) t 4 ,7 PP
Ejemplo 3:
Si la ballena es un mamífero, entonces toma oxigeno del aire. Si toma su oxigeno del aire, entonces no
necesita branquias. La ballena es un mamífero y vive en el océano. Por lo tanto no necesita branquias.
Lo primero que hay que hacer es identificar cada una de las proposiciones simples
p: La ballena es un mamífero
q: La ballena toma su oxigeno del aire
r: La ballena necesita branquias
s: La ballena habita en el océano
Pero veamos el procedimiento lógico para llegar a esta conclusión, es decir, la deducción proposicional
1) p q
2) q r
3) p s
_______
4) P 3.S
5) q 1,4 PP
6) r 2,5 PP
Ejemplo 3:
Si sigue lloviendo, entonces el río se crece.. Si sigue lloviendo y el río se crece, entonces el puente será
arrastrado por las aguas. Si la continuación de la lluvia hace que el puente sea arrastrado por las aguas, entonces
no será suficiente un solo camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o
bien los ingenieros han cometido un error. Por tanto, los ingenieros han cometido un error.
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 3
e: los ingenieros han cometido un error
1) c r
2) (c r ) p
3) (c p) s
4) s e
_____________
5) c → (c ∧ r) 1, Abs.
6) c → p 5,2, S.H.
7) ∼ s 3,6, P P.
8) e 4,7, TP.
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemáticas y Física, Ingeniero de Alimentos Página 4