TRABAJO COLABORATIVO 2

LGICA MATEMTICA

GRUPO
90004_113

TUTOR
JUAN MANUEL CORTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES ARTES Y HUMANIDADES
BOGOT

JUNIO DE 2016

INTRODUCCIN
El presente documento da evidencia de la prctica del mtodo Modus Ponendo
Ponens, Modus Tollendo Tollens, Silogismo Hipottico y dems leyes de inferencia,
aplicados a ejercicios previstos en la gua de desarrollo acadmico para el curso de
lgica matemtica.

As mismo dentro de este se profundizan conceptos propios del curso y se emplean

tablas de verdad, comprobacin de las mismas, uso del mtodo de reduccin a lo
absurdo, mtodos de validez y como expresar de lenguaje simblico a lenguaje
natural.

OBJETIVOS
 Desarrollar e identificar los tipos de razonamiento, validez y demostracin por
inferencia, tablas de verdad y reduccin a lo absurdo.

Comprender los diversos principios y formas de comprobar una ley, dando

solucin a problemas planteados en la gua del curso.

Afianzar metodologa y conceptos impartidos en el aprendizaje de la unidad

dos del curso de lgica matemtica para dar evidencia certera del
entendimiento de las mismas.

Tarea 1: Aplicacin de las leyes de inferencia.

MODUS PONENDO PONENS (PP)

En lgica, modus ponendo ponens (en latn, modo que afirmando afirma), tambin
llamado modus ponens y generalmente abreviado MPP o MP, es una regla de
inferencia que tiene la siguiente forma:
Si A, entonces B
A
Por lo tanto, B

Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:
Si est soleado, entonces es de da.
Est soleado.
Por lo tanto, es de da.
Otro ejemplo sera
Si Javier tiene rabia, es una nube.
Javier tiene rabia.
Por lo tanto, Javier es una nube.

MODUS TOLLENDO TOLLENS (TT)

Tollendo tollens significa negando, niego, y se refiere a una propiedad inversa de
los condicionales, a los que nos referamos en primer lugar.
p q Si llueve, entonces las calles se mojan
q Las calles no se mojan
__________________________________________________
p Luego, no llueve

Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso

nos conduce a negar el antecedente (la causa), puesto que si un efecto no se da,
su causa no ha podido darse.
Esto nos permite formular una regla combinada de las ambas anteriores,
consecuencia ambas de una misma propiedad de la implicacin; la regla ponendo
ponens slo nos permite afirmar si est afirmado el antecedente (el primer trmino
de la implicacin), y la regla tollendo tollens slo nos permite negar a partir del
consecuente (segundo trmino de la implicacin); ambas consecuencias se derivan
de que la implicacin es una flecha que apunta en un nico sentido, lo que hace que
slo se pueda afirmar a partir del antecedente y negar slo a partir del consecuente.

SILOGISMO HIPOTTICO (SH)

Dados dos implicaciones, de las cuales, el antecedente de la una sea el

consecuente de la otra (el mismo enunciado), podemos construir una nueva
implicacin cuyo antecedente sea el de aquella implicacin cuya consecuencia sea
el antecedente de la otra implicacin, y cuyo consecuente sea el de sta ltima,
cuyo antecedente era consecuencia del primero.
Expresado de otro modo, si una causa se sigue una consecuencia, y sta
consecuencia es a su vez causa de una segunda consecuencia, se puede decir que
esa primera causa es causa de esa segunda consecuencia, del mismo modo que,
si una bola de billar roja golpea a otra bola blanca que a su vez golpea a una bola
negra, la bola roja es causa del movimiento de la bola negra. Expresado en forma
de inferencia lgica:

p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve

q r Si la bola blanca golpea a la bola negra, la bola negra se mueve
__________________________________________________________________
p r Si la bola roja golpea a la bola blanca, la bola negra se mueve

Tarea 2: Problemas de aplicacin I parte

a) Estudiar en la modalidad a Distancia en la UNAD es una metodologa educativa

que realmente forma profesionales competentes, pues se debe ser muy disciplinado
con los hbitos de estudio adquiridos para cumplir con las actividades acadmicas,
pero con la ventaja de que al usar las tecnologas facilita la comunicacin entre los
diferentes protagonistas del proceso de formacin acadmico. Carolina se ha
esforzado por mantener un slido hbito de estudio, pero hay momentos en que el
cansancio la vence, el siguiente relato es algo que le ocurri un da: Si me mandas
la gua de actividades por mensajera interna del curso, entonces terminar de
realizar las demostraciones. Si no me mandas la gua de actividades por mensajera
interna, me ir a la cama temprano. Y si me voy a la cama temprano, me levantar
descansada. Por lo tanto, si no acabo de realizar las demostraciones, me levantar
descansada. (Gmez, 2015).

PROPOSICIONES:
p = Si me mandas la gua de actividades por mensajera interna del curso
q = terminar de realizar las demostraciones
r = me ir a la cama temprano
s = me levantar descansada

(pq) (pr) (rs) (qs)

b) Johanna est planteando una situacin problmica para su ensayo del curso de
Matemticas financiera de la UNAD, para lo cual hace la siguiente cita bibliogrfica:
Si hay una situacin de crisis econmica, el ndice de natalidad disminuye. Si
avanza la medicina, las expectativas de vida sern mayores. Si el ndice de
natalidad disminuye y las expectativas de vida se hacen mayores, entonces la
sociedad ir envejeciendo rpidamente. La crisis econmica es un hecho y los
avances en la medicina son constantes. Luego, la sociedad envejecer con rapidez.
(Gmez, 2015).
PROPOSICIONES:
p= Hay una situacin de crisis econmica
q= ndice de natalidad disminuye
r = avanza la medicina
s= expectativas de vida sern mayores
t = la sociedad envejecer rpidamente

[[(pq) (rs)] [(q s) t] (p r)] t

Tarea 3: Problemas de aplicacin II parte

Solucionar los enunciados de la tarea 2 y demostrar la validez o no validez del

argumento dado a travs del:

Uso del mtodo de reduccin al absurdo.

Uso del simulador Truth Table.

(pq) (p r) (rs) (q s)

1. p q
2. p r
 3. rs
4. p s 2 y 3 silogismo hipottico
5. q p 1 contraposicin
6. q s 4 y 5 silogismo hipottico

(q s) q (s)

Reduccin al absurdo

7. qs negacin del consecuente

8. q simplificacin 7
9. s simplificacin 7
10. p MP 5 y 8
11. S MP 4 y 10
CONTRADICCIN EN 9 y 11

Verificacin Tarea 2 literal A

[[(pq) (rs)] [(q s) t] (p r)] t

1. (pq) (rs)
2. (q s)t
3. (p r)
 4. P simplificacin 3
5. R simplificacin 3
6. pq simplificacin 1
7. rs simplificacin 1
8. q MP 4 y 6
9. s MP 5 y 7
10. qs adicion 8 y 9
11. t MP 2 y 10
Reduccin al absurdo
12. t negacin del consecuente
13. t(qs) contraposicin 2
14. (qs) MP 12 y 13
CONTRADICCIN EN 14 Y 10
Verificacin Tarea 2 literal B

Tarea 4: Creatividad en la proposicin de situaciones de la vida cotidiana

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simblico.
((pq)(rp)(qVs))(qs)

El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de

tal forma que la informacin o el mensaje que deseen expresar tenga sentido lgico
(Es decir deben hacer lo contrario de la tarea 2 y 3, ya que las anteriores tareas, se
presentaban en lenguaje natural y el propsito es convertirlo en lenguaje simblico).
Finalmente, deben demostrar que el anterior argumento es vlido a travs de:

Uso de las tablas de verdad.

Uso de las leyes de inferencia.
Uso del mtodo de reduccin al absurdo.
Uso del simulador Truth Table.

Lenguaje simblico.
((pq)(rp)(qVs))(qs)

Lenguaje natural.

Manejar automvil en la ciudad de Bogot es una actividad cotidiana para las

personas, se tiene que enfrentar a horas de trnsito para desplazarse de un lugar a
otro, en esta prctica se pueden presentar situaciones como esta: Si excedo la
velocidad permitida entonces llegar rpido a mi destino. No estara en el trfico de
la hora pico, si excedo la velocidad permitida. Llegar rpido a mi destino o quedarme
en el trancn, por lo tanto, no llegar rpido a mi destino es quedarme en el trancn.
Tabla de la verdad

Reduccin al absurdo
((pq)(rp)(qVs))(qs)

1. pq
2. rp
3. qvs
4. (qs) negacin del consecuente
5. q s negacin del entonces
6. q simplificacin 5
7. s simplificacin 5
8. S TP 6 y 3
CONTRADICCIN EN 7 Y 8
Simulator Truth table
 CONCLUSIN

A travs de tablas de la verdad es posible representar mediante un lenguaje

simblico situaciones cotidianas dndole valores a las proposiciones por medio de
conjuncin, disyuncin, condicional y bicondicional, para poder determinar la verdad
(tautologa), contradictoria y contingente.

Una herramienta muy til en la lgica cuando se trata de demostrar que una
afirmacin es falsa o por el contrario verdadera es el mtodo de reduccin al
absurdo, el cual permite a partir de un argumento o enunciado mostrar que conduce
a una contradiccin, esto implica que el argumento o enunciado es falso.
 REFERENCIAS BIBLIOGRFICAS

DARKJROF (2011). Blog, reglas de inferencia. Modus ponendo

ponens.Disponible en el sitio https://darkjrof.wordpress.com/2011/04/04/reglas-
de-inferencia/ Recuperado en junio de 2016.

RESUMEN DE LAS LEYES DE INFERENCIA, corporacin unificada nacional de

educacin superior CUN departamento de ciencias bsicas: matemticas,
compilado por Rosmiro Fuentes Rocha, docente CUN. Disponible en el sitio
http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_pro
posicional.pdf Recuperado en junio de 2016.

WIKIPEDIA (2015). Pgina web. Modus tollendo tollens. Disponible en el sitio

https://es.wikipedia.org/wiki/Modus_tollendo_tollens Recuperado en junio de
2016 PREZI (2012).

CURSOS. Pgina web, regla de inferencia. Modus ponendo ponens. Disponible

en el sitio https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-de-
deduccion-natural/modus-ponendo-ponens Recuperado en junio de 2016
SLIDESHARE (2009).

INTRODUCCIN A LGICA, Reglas de inferencia (2013): Stefan Waner y

Steven R. Disponible en el sitio
http://www.zweigmedia.com/MundoReal/logic/logic5.html Recuperado en junio
de 2016.

MODULO LGICA MATEMTICA UNAD, primera versin (2005): NUBIA

JANETH GALINDO PATIO versiones (2006 a 2010): GEORFFREY ACEVEDO
GONZLEZ. Disponible en el sitio
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CO
RE_anteriores/Modulo/2010_febrero_3_Modulo_de_Logica.pdf Recuperado en
junio de 2016.