Sie sind auf Seite 1von 4

CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS

RESUMEN DE LAS LEYES DE INFERENCIA


9. Simplificacin disyuntiva (SD) 1. Modus Ponendo Ponens (PP)

p p q

p p

~q ~q

~p ~p q

p p q

OTRAS LEYES LOGICAS DE APOYO 10. Prueba del condicional

q r r r

2. Modus tollendo tollens (TT)

p q ~q ~p

p q p

p p

q
(se anexa)

se debe concluir

3. Silogismo hipottico (SH)

11. Ley de absorcin (abs.)

p q p

q r r

p p

q ( q p)

12. Ley de contraposicin (contraria)

4. Tollendo ponens (TP)

p
p

q
q

q
p q

p q ~q p

p q ~p q

13. Ley del condicional

14. Ley de exportacin (LE)

5. Doble negacin (DN)

( p) p

[(p q) (p q) (p q) q) q)

r] [p p q q p

(q

r)]

15. Leyes de Morgan (DM)

6. Adjuncin y simplificacin Adjuncin (A) Simplificacin (S)

p q

( premisa ) ( premisa ) p q

p q p

p q q

16. Leyes conmutativas (LC)

(p (p

(q (q

p) p)

7. ley de la adicin (LA)

17. Leyes asociativas (LA)

( premisa) p q
p p q q r s r s

(p (p

q) q)

r r

p p

(q (q

r) r)

8. Silogismo disyuntivo (DS)

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 siguiente argumento simblico deducir t

1) e 2) 3) e t

s j j
Demostracin

1) e 2) 3) e t

s j j

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

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) 3) s 4 )s (q

q) r) p 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 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

r s
r

(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)

s
3.S 1,4 PP
2,5 PP

_______

4) P 5) q
6)

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) 6) c p 7) s 8) e

1, Abs. 5,2, S.H. 3,6, P P. 4,7, TP.

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

Pgina 4