UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias

Bsicas,

Tecnologa e Ingeniera, Curso: Lgica Matemtica 90004A289

Trabajo Colaborativo 2

Presentado por:

WILLIAM ALBERTO MUOZ

Cd.1023868901

JEISSON DAVID TORRECILLA AGUILAR

Cd. 1030651409

LOGICA MATEMATICA 90004A_63

Grupo 90004A_63

Presentado a: ALVARO BASTIDAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

CEAD, Jos Acevedo Gmez
Ingeniera de Sistemas
Bogot, D.C., Junio de 2016

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Contenido

Objetivos...................................................................................................................... 3
Introduccin.................................................................................................................. 4
1.

Tarea 1: aplicacin de las leyes de inferencia5

2.

Tarea 2: problemas de aplicacin parte 1............................................................6, 7, 8

3.

Tarea 3: problemas de aplicacin parte 2........................................................9, 10, 11

4.

Conclusiones........................................................................................................ 12

5.

Bibliografa......................................................................................................... 13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Objetivos
Los estudiantes estarn en la capacidad de resolver problemas de
conjuntos.
Los estudiantes estarn en la capacidad de elaborar diagramas de
Venn.
Los estudiantes estarn en la capacidad de crear preposiciones
partiendo desde frases de la vida diaria.
Los estudiantes estarn en la capacidad de generar tablas de verdad
para preposiciones.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Introduccin

Con el siguiente trabajo se pretende relacionar a los estudiantes con la

teora de conjuntos, las preposiciones y el mtodo cientfico, partiendo desde
diseo de conjuntos hasta la creacin de premisas y preposiciones, con base
en esta relacin los estudiantes podrn afianzar conocimientos para las
siguientes actividades.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Tarea 1: Aplicacin de las leyes de inferencia

Modus Ponendo Ponens

El modus Ponendo Ponens se define como la una regla de inferencia, es decir,

Si A es cierto y A entonces B, por lo tanto B tambin es cierto. El modus
ponendo ponens se emplea diariamente como se muestra a continuacin:
-

Si esta soleado, entonces es de da. Esta soleado por lo tanto es de da.

Si esta lloviendo, entonces hace frio. Esta lloviendo por lo tanto esta
haciendo frio

https://prezi.com/3hzj_yrsjdi4/modus-tollendo-tollen-y-modus-ponendo-ponen/

Moden Tollendo Tollens

El moden Tollendo Tollens conocido en latn como (Modo que niega negando)
Es un regla de inferencia dice que si una implicacin es verdadera y su
consecuente es falso, entonces su antecedente ser necesariamente falso a
continuacin se muestran ejemplos:

Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la

suma de los otros ngulos es menor de 90 grados.
Premisa 2: La suma de los otros dos ngulos no es menor de 90
grados.
Conclusin: un ngulo de un tringulo no es mayor de 90 grados.

Silogismo hipottico

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

El silogismo hipottico es un silogismo que tiene una o ambas de sus

premisas como condicionales un ejemplo claro es:

Premisa 1: Si no me despierto, entonces no voy a ir a trabajar.

Premisa 2: Si no voy a trabajar, entonces no me pagan mi sueldo.
Conclusin: Si no me despierto, entonces no me van a pagar el
sueldo

Tarea 2: Problemas de aplicacin I parte.

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)

USO DE TABLAS DE VERDAD

Premisa 1: Si me mandas la gua de actividades por mensajera interna
del curso, entonces terminar de realizar las demostraciones.
Premisa 2: Si no me mandas la gua de actividades por mensajera
interna, me ir a cama temprano.
Premisa 3:Si me voy a cama temprano, me levantare descansada.
Conclusin: Si no acabo de realizar las demostraciones, me levantar
descansada.

Premisa 1

(~P1)=>(P2)

(P2)=>(P3)

(P3)=>Conclusi
n

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

USO DE LEYES DE INFERENCIA

Premisa 1: Si me mandas la gua de actividades por mensajera interna
del curso, entonces terminar de realizar las demostraciones.
Premisa 2: Si no me mandas la gua de actividades por mensajera
interna, me ir a cama temprano.
Premisa 3: Si me voy a cama temprano, me levantare descansada.

Conclusin: Si no acabo de realizar las demostraciones, me levantar

descansada.

Para que se afirme la conclusin se debe cumplir que no se enve la gua por
mensajera, por lo tanto se ira a dormir temprano, al dormir temprano
descansar, si se cumple la afirmacin

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

USO DE TABLAS DE VERDAD

Premisa 1: Si hay una situacin de crisis econmica, el ndice de

natalidad disminuye.
Premisa 2: Si avanza la medicina, las expectativas de vida sern
mayores.
Premisa 3: Si el ndice de natalidad disminuye y las expectativas de
vida se hacen mayores, entonces la sociedad ir envejeciendo
rpidamente.
Conclusin: La crisis econmica es un hecho y los avances en la
medicina son constantes. Luego, la sociedad envejecer con rapidez.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Crisis
econm
ica
CE

Avanc
e
Medici
na

CE=>DisNat
alidad

AM=>Expect
ativa de
vida
mayores

Conclus
in

AM
V

USO DE LEYES DE INFERENCIA

Premisa 1: Si hay una situacin de crisis econmica, el ndice de

natalidad disminuye.
Premisa 2: Si avanza la medicina, las expectativas de vida sern
mayores.
Premisa 3: Si el ndice de natalidad disminuye y las expectativas de
vida se hacen mayores, entonces la sociedad ir envejeciendo
rpidamente.
Conclusin: La crisis econmica es un hecho y los avances en la
medicina son constantes. Luego, la sociedad envejecer con rapidez.

La conclusin se cumple ya que la crisis econmica y los avances de la medicina

son reales, por lo tanto el ndice de natalidad disminuir y las expectativas de vida
son mayores, como el ndice de natalidad disminuir y las expectativas de vida
sern mayores la sociedad ir envejeciendo rpidamente por lo tanto se cumple la
conclusin
8

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

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.

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

Tabla de verdad: Que demuestra validez al ser una Tautologa

T
T
T
T
T
T
T
T
T
T
T
T

T
T
T
T
T
T
T
T
F
F
F
F

T
T
T
T
F
F
F
F
T
T
T
T

T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F

[[(pq)(rs)((qs)t))(pr)]t
T
T
T
T
T
T
T
T
T
T
T
T
9

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

T
T
T
T
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

F
F
F
F
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F

F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

Mtodo de reduccin al absurdo:

1. pq V
V

2. rs V
V

3. (q s) t
V

V
10

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

4. p r
V

Del anterior mtodo de reduccin al absurdo podemos explicar que teniendo la

implicacin t que aparece desde el paso 3. Encontramos una implicacin con t la
cual tiene un valor falso, ya que la conclusin dice: t es verdadero. Teniendo en
cuenta lo anterior, cuando una implicacin se va de un valor de verdad a uno de
falsedad la premisa resultara falsa.
De acuerdo a la anterior deduccin tenemos la conclusin de que el argumento es
vlido, ya que todas sus premisas no son verdaderas.

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

11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F

T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

[[(pq)(pr)(rs)](qs)]
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

Tabla de verdad: Que demuestra validez al ser una Tautologa

12

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Mtodo de reduccin al absurdo:

1. pq
V

2. pr
f

3. rs
f

4. qs

De acuerdo al anterior mtodo de reduccin al absurdo tenemos para concluir que

q tiene un valor verdadero en la premisa uno que termina siendo falso porque
tenemos q, para el caso de la premisa dos tenemos p con un valor falso en la
premisa uno tenemos p con un valor verdadero, en conclusin como tenemos una
implicacin y se va de una verdad a una falsedad la implicacin terminara siendo
falsa y la premisa uno tiene valor falso, concluimos la validez del argumento porque
si alguna de estas premisas tiene valor falso el argumento termina siendo vlido.

Conclusiones

Siempre para abordar cualquier caso tomando como base la lgica matemtica
siempre debemos analizar todos los trminos y conceptos propuestos para obtener
el mejor resultado en la actividad propuesta.
La lgica matemtica ofrece mtodos que ensean cmo elaborar proposiciones,
evaluar su valor de verdad y determinar si las conclusiones se han deducido
correctamente a partir de proposiciones supuestas.
Las proposiciones son un elemento fundamental en la lgica matemtica.
La lgica matemtica nos ayuda a desarrollar los procesos de pensamiento
encontrando sentido a lo que realizamos normalmente, muchas veces utilizamos en
los razonamientos oraciones o frases que suelen estudiarse en esta materia.

13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

Bibliografa

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Mara
del
Pilar
Gaitn;
2014;
Recuperado
de:
http://www.slideshare.net/MariaGaitan2/introduccin-a-la-lgica-42022687
Mara
del
Pilar
Gaitn;
2014;
Recuperado
http://www.slideshare.net/MariaGaitan2/lgica-proposicional-42022784
Gloria Alejandra Rubio; recuperado de:

http://www.slideshare.net/patricialeguizamon397/teoria-deconjuntosyproposiciones

14

de:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Escuela Ciencias Bsicas, Tecnologa e Ingeniera

15