Solucionar los siguientes enunciados y demostrar la validez o no validez del

argumento dado a travs de:

Uso de las tablas de verdad.
Uso de las leyes de Inferencia.
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)
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).1
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.
1 Gmez Oscar, Notas de clase Pensamiento lgico y matemtico, 2015.
ESCUELA DE CIENCIAS
BSICAS, TECNOLOGA E INGENIERA
90004
Lgica Matemtica
Gua de Trabajo Colaborativo 2
4
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.