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
1 Gmez Oscar, Notas de clase Pensamiento lgico y matemtico, 2015.

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.

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.