LOGICA MATEMATICA

PRESENTADO POR:

MARLON CARRILLO CERVERA

COD 1129491289

TUTOR:

VIVIAN YANETH ALVAREZ

APORTE INDIVIDUAL:

90004B_777

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

MAYO 2016
 Tareas a desarrollar:

APORTE GRUPAL.

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 simulador Truth Table

.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 realizarlas demostraciones, me levantar
descansada. (Gmez, 2015)

. [[(p>q)&(~p>r)&(r>s)]>(~q>s)] Es vlido es una tautologa

b. Johanna est planteando una situacin problemtica 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).

[[(p>q)&(r>s)&((q&s)>t))&(p&r)]>t Es vlido es una

tautologa
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 del simulador Truth Table.((p>q)&(~r>p)&(q+s))>(~q>s)