Tarea 1: Aplicacin de las leyes de inferencia.

Leyes de Inferencia Lgica

Distributiva, exportacin y contraposicin
Leyes distributivas:
En las leyes de distribucin hace referencia a dos normas de reemplazo, que permiten reformular
reglas de conjunciones y disyunciones. Se aplican cuando se tienen dos conectivos diferentes:
conjuncin disyuncin o bien disyuncin conjuncin. Se distribuye a la proposicin fuera del
parntesis con las que estn dentro de este.
A continuacin las formulas de aplicacin.
(p (qr)) ((pq) (pr))

(p (qr)) ((pq) (pr))

(p (qr)) ((pq) (pr))

(p (qr)) ((pq) (pr))

Ley de exportacin:
Cambia de conectivo de conjuncin a condicional cuando al antecedente es una conjuncin, y los
agrupa de diferente manera al dejar el primer conjuntivo como antecedente de toda la preposicin y
pasar el segundo conjuntivo al consecuente de la preposicin como parte de otra condicional.
A continuacin la formula de aplicacin.
[(pq) r] [(p (qr)]

Ley de contraposicin:
Cuando una preposicin convertida respeta la cantidad, pero altera la forma de la proposicin dada y
toma como sujeto al concepto contradictorio del predicado de esta, se tiene una conversin por
contraposicin
A continuacin la formula de aplicacin.
pq p q

Tarea 2: Problemas de aplicacin I parte.

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.

1. 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)
P -> Si me mandas la gua de actividades por mensajera interna del curso,
Q ->entonces terminar de realizar las demostraciones.
R ->me ir a la cama temprano.
S ->me levantar descansada.
Expresin Simblica
[[(pq)(pr)(rs)](qs)]

2. 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.

P ->Si hay una situacin de crisis econmica, el ndice de natalidad disminuye

Q ->Si avanza la medicina, las expectativas de vida sern mayores

R ->ndice de natalidad disminuye y las expectativas de vida se hacen mayores

S ->Luego, la sociedad envejecer con rapidez
[[(pq)(rs)((qs)t))(pr)]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.

1. 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)

2. 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 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.

Referencias
Lgica Matemtica (Lic. Matemticas) 2013 tomado de
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/index.html, 16 de Junio 2016
Leyes de Exportacin y Contraposicin 2 de Junio de 2014 tomado de
https://prezi.com/fiy2i7yb9jlk/leyes-de-exportacion-y-contraposicion/, 16 de Junio 2016