CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN

DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS

RESUMEN DE LAS LEYES DE INFERENCIA

9. Simplificacin disyuntiva (SD)

p
p
q

1. Modus Ponendo Ponens (PP)

p
p

p
p

~q

~p
~p

~q

q
q

OTRAS LEYES LOGICAS DE APOYO

2. Modus tollendo tollens (TT)

p
q
~q
~p

p
q

10. Prueba del condicional

p
p

p
p

p q
~q
p

q
( q p)

p q
~p
q

7. ley de la adicin (LA)

( premisa)
p q

8. Silogismo disyuntivo (DS)

q
r
s
r s

[(p q)

p q

r] [p

(q

r)]

15. Leyes de Morgan (DM)

(p q)
(p q)

6. Adjuncin y simplificacin

( premisa)
( premisa)
p q

14. Ley de exportacin (LE)

( p)
p

Adjuncin (A)

13. Ley del condicional

5. Doble negacin (DN)

p
p
q

12. Ley de contraposicin (contraria)

4. Tollendo ponens (TP)

(se anexa)

11. Ley de absorcin (abs.)

q
r
r

p
q

se debe concluir

3. Silogismo hipottico (SH)

p
q
p

q
r
r
r

Simplificacin (S)

p q
p

p q
q

p
q

q
p

16. Leyes conmutativas (LC)

(p

q)

(q

p)

(p

q)

(q

p)

17. Leyes asociativas (LA)

(p

q)

(q

r)

(p

q)

(q

r)

18. Leyes distributivas (LD)

p (q r) (p q) (p r)
p (q r) (p q) (p r)

Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos

Pgina 1

DEDUCCIN PROPOSICIONAL
Con el manejo de unas pocas reglas empezamos a aprender el mtodo de las deducciones formales. Es decir se
ha aprendido el camino preciso de demostrar que los razonamientos son vlidos. Un razonamiento es
simplemente un conjunto de proposiciones dadas como premisas y una conclusin deducida de estas premisas.
Cuando se habla de vlido se entiende que la conclusin es consecuencia lgica de las premisas. Una deduccin
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.
Segn lo Manifiesta Tinoco (2008) podemos comparar el proceso de deduccin o inferencia con un juego
El conjunto de premisas constituye la posicin inicial del juego
Las jugadas estn dadas por las reglas de deduccin que veremos seguidamente
La meta del juego consiste en llegar a la conclusin deseada
Al mismo tiempo Tinoco resalta las siguientes reglas

LAS CUATRO REGLAS DE LA DEDUCCION PROPOSICIONAL

1. REGLA P ( Regla de utilizacin de las premisas): Podemos utilizar una premisa en cualquier punto de
una deduccin. En otras palabras podemos hacer uso de una premisa (de las dadas inicialmente) en el
momento en que la necesitemos
2. REGLA I (Regla de introduccin de proposiciones). Podemos introducir una proposicin en una
deduccin, si ya esa proposicin ha sido deducida lgicamente. Dicho de otra manera, una proposicin
que ya haya sido deducida lgicamente, puede utilizarse como si fuera una premisa.
3. REGLA PC (Regla de prueba condicional): Si una conclusin es de la forma pq, entonces podemos
anexar p al conjunto de premisas y concluir q
4. REGLA RAA (Regla de prueba por reduccin al absurdo): Para demostrar que un conjunto de premisas
conduce lgicamente a una conclusin, podemos agregar la negacin de la conclusin al conjunto de
premisas y obtener alguna contradiccin
La deduccin proposicionales hace apoyndose en las leyes de inferencia lgica, puede hacerse teniendo un
argumento en forma simblica o en forma oracional. Veamos los siguientes ejemplos:
Ejemplo 1: Dado el

1) e
2)

siguiente argumento simblico deducir t

s
t

3) e

j
j
Demostracin

1) e
2)

s
t

3) e

4) e
5) s
6) j
7) t
8) t

j
j

3.S
1,4PP
3.S
2 ,6TT
5 ,7 A

Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos

Pgina 2

Ejemplo 2: Deducir t

1) ( p
2)

q)

(q

r
r)

3) s

4 )s

________
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 mamfero, entonces toma oxigeno del aire. Si toma su oxigeno del aire, entonces no
necesita branquias. La ballena es un mamfero y vive en el ocano. 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 mamfero
q: La ballena toma su oxigeno del aire
r: La ballena necesita branquias
s: La ballena habita en el ocano
Se simboliza ahora el argumento
(Primera premisa)
p q

q
p

(Segunda premisa)

(Tercera premisa)

------------

(Conclusin)

Pero veamos el procedimiento lgico para llegar a esta conclusin, es decir, la deduccin proposicional
q
1) p
2) q
r
3)

_______

4) P
5) q
6)

3.S
1,4 PP
2,5 PP

Ejemplo 3:
Si sigue lloviendo, entonces el ro se crece.. Si sigue lloviendo y el ro se crece, entonces el puente ser
arrastrado por las aguas. Si la continuacin 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.
Simbolizando las proposiciones
c: contina lloviendo
r: el ro crece
p: el puente es arrastrado por las aguas
s: un solo camino es suficiente para toda la ciudad
Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos

Pgina 3

e: los ingenieros han cometido un error

La prueba formal de validez es:
(Primera premisa)
c
r
2) (c r )
(segunda premisa)
p
3) (c
(Tercera premisa)
p)
s
4) s e
(cuarta premisa)
_________________

(conclusin)

Veamos como se llega a la conclusin

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
8) e

3,6, P P.
4,7, TP.

Compilado por: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos

Pgina 4