LOGICA MATEMATICA

TRABAJO COLABORATIVO 2

Tutor
JUAN DAVID MEJIA

Universidad Nacional Abierta y a Distancia UNAD

Programa: Ciencias Bsicas.
2016

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)
Tabla de la verdad.
Declaracin de las proposiciones simples:
p: 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.
( p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V

q ) (
V
V
F
V
V
F
V
V
F
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
F
V
V
F
V
F
V
V
F
V
V
F
F
V
F
F
V

p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
V
F
F
V
V
F
F

r ) ( r
V
V
V V
V
F
V F
F
V
F V
F
V
F V
V
F
V V
V
F
V F
F
F
F V
F
F
F V
V
V
V V
V
V
V V
F
F
F V
F
F
F V
V
V
V V
V
F
V F
F
F
F V
F
F
F V

Demostracin por leyes de inferencia:

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

Premisa 1 = p q
Premisa 2 = pr

s )
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

(
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
V
V
V
F
V
F
V
V
V
V
V
F
V
F

s )
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

Premisa 3= r s
Premisa 4 = qs
Premisa 5 = Simpl 4 = p
Premisa 6 = Simpl 5 = p
Premisa 7 =MPP 1 y 5 = q
Premisa 8 = MPP 2 y 6 = r
Premisa 9 = ADJ 7 y 8 = r s
Premisa 10 = MPP 3 y 9 = qs

b. Johanna est planteando una situacin problmica para su ensayo del curso de
Matemticas financiera, 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).

Declaracin de las proposiciones dadas:

p: hay una situacin de crisis econmica.
q: el ndice de natalidad disminuye
r: Si avanza la medicina.
t: las expectativas de vida sern mayores: la sociedad ir envejeciendo rpidamente.
1: (p q)
2: (r s)
3:( q s) t
4: (p r)
Tabla de la verdad.

Su expresin es tautologa.
Demostracin por leyes de inferencia:

[( p q)(r s) (( q s)t )( p r )] t
Premisa 1 = p q
Premisa 2 = r s
Premisa 3= (q s) t
Premisa 4 = p r
Premisa 5 = Simpl 4 = p
Premisa 6 = Simpl 5 = r
Premisa 7 =MPP 1 y 5 = q
Premisa 8 = MPP 2 y 6 = s
Premisa 9 = ADJ 7 y 8 = q s
Premisa 10 = MPP 3 y 9 = t
=t