Está en la página 1de 8

CORPORACION UNIFICADA NACIONAL DE EDUCACION SUPERIOR CUN

DEPARTAMENTO DE CIENCIAS BASICAS: MATEMATICAS


ACTIVIDAD ACADEMICA: PENSAMIENTO LOGICO
DOCENTE: LIC- ING: ROSMIRO FUENTES ROCHA
UNIDAD N4: DEDUCCION PROPOSICIONAL
RESUMEN DE LAS REGLAS DE INFERENCIA
1. Modus Ponendo Ponens (PP)

pq
p
q

p ~ q
p
~ q

~pq
~p
q

( premisa)
pq

8. Silogismo disyuntivo (DS)

p q
p r

2. Modus tollendo tollens (TT)

p q
~q
~ p

p q
q
p

q s
r s
9. Simplificacin disyuntiva (SD)

p q
p r

3. Silogismo hipottico (SH)

q r
r

p q
q r
p r

10. Ley de absorcin (abs.)

pq
p (q p)

4. Tollendo ponens (TP)

pq
~q
p

5. Doble negacin (DN)

(p)
p
6. Adjuncin y simplificacin

Adjuncin (A)

pq
~ p
q

11. Leyes de Morgan (DM)


p q p q

p q p q

12. Leyes conmutativas (LC)


( p q ) (q p)

( p q ) (q p)

13. Leyes asociativas (LA)

( premisa)

( p q ) r p (q r )

( premisa)
pq

( p q ) r p (q r )

Simplificacin (S)

pq
p
q
7. ley de la adicin (LA)

14. Leyes distributivas (LD)

p q r p q p r

p q r p q p r

15. Ley de exportacin (LE)

( p q ) r p ( q r

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

Pgina 1

16. Ley de contraposicin (contr)

p q q p

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.
La deduccin 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 s

1) e s
2 ) t j
3) e j

Demostracin
1)
2 )
3 )

e
e

4 )

5 )
6 )

s
j

7 )
8 )

t
t

3.
S
1,
4 PP
3.
S

2 ,
6 TT
5 ,
7 A

Ejemplo 2: Deducir t
1) ( p q ) r
2 ) (q r )
3) s p
4 )s t

________
5 ) p (q r )
6 ) p
7) s
8) t

1. Exp
2 ,5 TT
3 ,6 TP
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


pq
(Primera premisa)
q r
(Segunda premisa)

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

Pgina 2

ps

(Tercera premisa)

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

(Conclusin)

Pero veamos el procedimiento lgico para llegar a esta conclusin, es decir, la deduccin proposicional

1) p q
2) q r
3) p s
_______

4) P
5) q
6) r

3.S
1,4 PP
2,5 PP

Ejemplo a.
Si la ballena es un mamfero entonces toma oxgeno del aire. Si toma su
oxgeno del aire, entonces no necesita branquias. La ballena es un mamfero
y vive en el ocano. Por tanto, no necesita branquias.
La conclusin que se desea demostrar o deducir es la proposicin no
necesita branquias. (La palabra, por tanto, pone de manifiesto que la
proposicin final es la conclusin del razonamiento.)
El primer paso en este proceso es simbolizar el razonamiento de manera
que la deduccin sea perfectamente clara. 72 PRIMER CURSO DE LGICA .MATEMTICA
Sea
W = La ballena es un mamfero
0 = Toma su oxgeno del aire
G = Necesita branquias
H= Habita en el ocano.
Entonces
la primera premisa es
la segunda premisa es
la tercera premisa es
la conclusin es
W O
O > iG
W&H
-iG.
La deduccin proposicional se puede escribir como se indica a continuacin:
Los tres primeros pasos son premisas. Los pasos 4, 5 y 6 estn justificados
por reglas de inferencia aplicadas a lneas anteriores. A la derecha de cada
paso o lnea, se indica la manera como se justifica aquella lnea. Por ejemplo,
puesto que las tres primeras lneas son premisas, se escribe la letra P a
la derecha de aquellas lneas. Estas lneas son dadas y no deducidas y, por
tanto, no necesitan ninguna otra justificacin.
La lnea 4 se deduce de la lnea 3 por la regla de simplificacin. Por
tanto, se escribe la abreviatura de la regla S a la derecha de aquella lnea,
seguida del nmero de la lnea de la que se ha deducido. La lnea 5 se obtiene
de las lneas 1 y 4 por modus ponendo ponens. Considerando la lnea
1, W > O, y la lnea 4, W, se puede ver rpidamente que modus ponendo
ponens nos permite obtener O- Este movimiento se indica por la abreviatura
del nombre de la regla PP, y el nmero de las lneas de las que se ha
deducido la lnea 5. De forma anloga se indica que la lnea 6 se ha deducido
por modus ponendo ponens de las lneas 2 y 5.
Puesto que la lnea 6 representa la conclusin deseada, objetivo de
nuestra deduccin, la deduccin es completa. Se ha demostrado que iG
es consecuencia lgica de las tres premisas del razonamiento. As, puesto
que iG representa la proposicin No necesita branquias en el razonamiento
Elabor: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos

Pgina 3

puesto como ejemplo se ha demostrado que la conclusin de aquel


razonamiento es vlida. Este es un ejemplo de una deduccin formal.
(1) W O
(2) O -i G
(3) W & H
P
P
P
(4) W S 3
(5) O PP 1, 4
PP 2, 5 INFERENCIA LGICA 73
A fin de que cada paso de la demostracin resulte perfectamente claro
a todos aquellos que lo lean, nos atendremos estrictamente a la forma indicada
para hacer deducciones. No se olvide que un objetivo de la Lgica es
ser preciso. Para estar seguro de la precisin, antese cada paso que se
efecte y el por qu est permitido. Para cada paso, escrbase primero el
nmero de aquella lnea, despus la proposicin misma, y finalmente lo que
justifica aquel paso por la abreviatura de la regla que lo ha permitido. Si el
paso est deducido de otras lneas por una regla, entonces adase el nmero o nmeros de las lneas de las que se ha deducido.
Consideremos el siguiente razonamiento:
Ejemplo b.
Si la enmienda no fue aprobada entonces la Constitucin

https://es.scribd.com/doc/247768937/Aporte-de-Pensamiento-Logico
http://fisica.ugto.mx/~msabido/logica/2_a.pdf

Ejemplo 3:
Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo. Si sigue lloviendo y el ro 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
Elabor: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos

Pgina 4

e: los ingenieros han cometido un error

cr

La prueba formal de validez es:


(Primera premisa)
2) ( c r ) p
(segunda premisa)
3) ( c p ) s (Tercera premisa)
4) s e
(cuarta premisa)
_________________
e
(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.

PRUEBA DE INVALIDEZ
Es obvio que, para un argumento invlido no existe una prueba formal de validez. Pero, si no se puede hallar una
prueba de validez para un argumento, eso no quiere decir que sea invlido y que no se pueda construir dicha
prueba.
A continuacin se describe un mtodo que est muy relacionado con el de las tablas de verdad, pero que es
mucho ms breve, en el cual se prueba la invalidez de un argumento hallando un nico caso en el que se asignan
valores de verdad a las variables del enunciado de tal forma que las premisas sean verdaderas y la conclusin
falsa, lo que lleva a concluir que la forma argumental es invlida. Un argumento se prueba invlido mostrando
que por lo menos en un rengln de su tabla de verdad todas las premisas son verdaderas pero su conclusin es
falsa
Ejemplo 1: Probar la invalidez del siguiente argumento por el mtodo de asignar valores de verdad.
1. p q
2. r q
3. p r
Prueba
Para probar que este argumento es invlido sin tener que construir una tabla de
verdad completa, es necesario tener claro que un condicional es falso solamente si su antecedente es verdadero
y su consecuente falso, utilizando este hecho se procede a asignar valores de verdad a las proposiciones de la
conclusin, es decir, si F es verdadero y P es falso, entonces, la conclusin es falsa. Si a la proposicin R se le
asigna el valor verdadero, ambas premisas se convierten en verdaderas, porque un condicional es verdadero
siempre que su consecuente sea verdadero. Lo anterior permite afirmar que si a las proposiciones F y R se les
asigna un valor verdadero y a la proposicin P un valor falso, entonces el argumento tendr premisas verdaderas
y una conclusin falsa, con lo cual queda probado que el argumento es invlido.

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

Pgina 5

Con este mtodo lo que realmente se hace es construir un rengln de la tabla de verdad del argumento indicado,
la relacin se puede observar ms claramente cuando los valores de verdad se escriben horizontalmente, de la
siguiente forma:
p
q
r
pq
rq
pr
v
v
f
v
v
f
Ejemplo 2: Si Sandra es inteligente y estudia mucho, sacar buenas calificaciones y aprobar el curso. Si Sandra
estudia mucho pero no es inteligente, sus esfuerzos sern apreciados y si sus esfuerzos son apreciados,
aprobar el curso. Si Sandra es inteligente, entonces estudia mucho. Luego, Sandra aprobar el curso.
Prueba
Tomando el siguiente lenguaje simblico
i: Sandra es inteligente
s: Sandra estudia mucho
g: Sandra sacar buenas calificaciones
p: Sandra aprobar el curso
a: Los esfuerzos de Sandra sern apreciados
se pueden establecer las siguientes premisas:
1. (i s) (g p)
2. [(s i) a ] [a p]
3. i s
4. p
Este argumento es invlido porque con cualquiera de las siguientes asignaciones de valores de verdad la
conclusin P es falsa.
i
s
g
a
p

i
s
g
a
p
v
f
v
f
f
f
f
f
f
f
Ejemplo 3: Si la inflacin continua, entonces las tasas de inters permanecern altas. Si la inflacin contina,
entonces si las tasas de inters permanecen altas, descender la actividad comercial. Si las tasas de inters
permanecen altas, entonces si la actividad comercial decrece, el desempleo aumenta. As, si el desempleo
aumenta, continuar la inflacin.
Prueba
Tomando el siguiente lenguaje simblico:
p: la inflacin contina
q: las tasas de inters permanecen altas
r: descender la actividad comercial
s: el desempleo aumenta
Se pueden establecer las siguientes premisas:
1) p q
2) p (q r)
3) q (r s) / s p
Este argumento es invlido porque la siguiente asignacin de valores de verdad hace las premisas verdaderas
pero la conclusin falsa:
p
q
r
s
pq
p (q r)
q (r s)
sp
f
f
f
v
v
v
v
f
TALLER DE ESTUDIO INDEPENDIENTE
I. Para cada uno de los siguientes argumentos enuncie la regla de inferencia mediante la cual se sigue la
conclusin.
1. (P Q) R
(P Q) (P Q) R
2
1) (P Q) (P Q)
2) (Q P) (P Q)
Elabor: Rosmiro Fuentes Rocha, docente CUN, Licenciado en Matemticas y Fsica, Ingeniero de Alimentos

Pgina 6

(Q P) (P Q)
II. Cada una de las siguientes es una prueba formal de validez del argumento indicado. Enuncie la justificacin de
cada rengln que no sea una premisa de la prueba.
1
1). A B
2) (A C) D
3) A
4) A C
5) D

________
A D
1) Q R
2) S (T U)
3) S (Q T)
4) S 5) T U
6) (Q R) (T U)
7) Q T
________
RU

III. Construir una prueba formal de la validez de cada uno de los siguientes argumentos:
1.
1. (P R) P R
2. Q P
3. R S
4. (Q S) (T S)
________
ST
2
1. T S
2. Q T
3. Q R
4. R
_______
S
IV. Probar la validez invalidez del siguiente argumento utilizando el mtodo de asignacin de valores de verdad.
1.
1). [(x y) z] a
2). [z a] [b c]
3). b
xc
2.
1) a b
2) (c a) / c b
3.
1) s (t u)
2) v (w x)
3) t (v w)
4. (t x)
su
V. En cada uno de los siguientes argumentos, utilizar un lenguaje simblico y construir una prueba formal de
validez o invalidez por el mtodo de asignar valores.
1. Si el papel tornasol se vuelve rojo, entonces la solucin es un xido. Luego, si el papel se vuelve rojo, entonces
o la solucin es un xido o hay algo que anda mal.
2. O el ladrn entro por la puerta, o el robo fue cometido desde dentro y uno de los sirvientes debe estar
involucrado en l. El ladrn slo pudo entrar por la puerta si el cerrojo fue levantado desde dentro; pero uno de

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

Pgina 7

los sirvientes seguramente se halla implicado en el robo, si el cerrojo fue levantado desde dentro. Por ende, uno
de los sirvientes est involucrado en el robo.
3. Si la vctima tena dinero en sus bolsillos, entonces el robo no fue el motivo del crimen. Pero el motivo del
crimen fue, o bien el robo, o bien la venganza. Luego, el motivo del crimen debe haber sido la venganza.

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

Pgina 8