UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

TECNOLOGÍA EN SEGURIDAD Y SALUD EN EL TRABAJO

ESCUELA CIENCIAS DE LA SALUD ECISA

Paso 7:

Resolución de situaciones problemicas del mundo real desde la Lógica Matemática

Elaborado por:

Oscar Javier Martinez Mendivelson

Código 1136885150

Tutor: Jhon Freddy Ruano

Pensamiento Lógico y Matemático 200611_596

Granada, mayo de 2018

 INTRODUCCIÓN

Este trabajo contiene tres ejercicios los cuales repasa los temas de proposiciones lógicas y

tablas de la verdad, teoría de conjuntos y reglas de inferencia. Con el fin de recordar los temas

de las unidades 1, 2 y 3 y así aprender mejor estos temas que son tan importantes para nuestra

vida cotidiana, de estudio y en un futuro en nuestra vida laboral, ya que con estos temas

podemos dar solución a problemas del mundo real con la ayuda de la lógica matemática.
 OBJETIVOS

Objetivo General:

 Repasar, analizar y aprender mejor los temas de las unidades ya vistas anteriormente

en las guías de actividades anteriores. Para aprender a solucionar problemas de la vida

real desde la lógica matemática.

Objetivos Específicos:

 Repasar los temas principales de este curso: Proposiciones lógicas y Tablas de la

verdad, Teoría de Conjuntos, Reglas de Inferencia.

 Analizar cada tema para poder aplicarlo de forma efectiva en nuestra vida real.

 Aprender cada tema con el fin de lograr aplicarlo y que jamás se nos olvide estos

temas tan importantes y tan útiles en nuestra vida cotidiana, de estudio y laboral.
 Ejercicios Ejercicios
Datos Estudiante Fotografía seleccionados seleccionados
a desarrollar revisar
Tarea 1: Tarea 1:
Identificación: 40434628
Nombre: Jenny Jazmín Tarea 2: Tarea 2:
Vargas Moncada
CEAD: Acacias, Meta Tarea 3: Tarea 3:

Tarea 1: Tarea 1:
Identificación:
Nombre: María Carolina Tarea 2: Tarea 2:
Bermúdez
CEAD: Acacias, Meta Tarea 3: Tarea 3:

Tarea 1: A Tarea 1: B
Identificación:
Nombre: Miguel Ángel Tarea 2: A Tarea 2: B
Barrero
CEAD/CCAV/CERES/UDR Tarea 3: A Tarea 3: B

Tarea 1: B Tarea 1: A
Identificación
Tarea 2: B Tarea 2: A
Nombre
CEAD/CCAV/CERES/UDR
Tarea 3: B Tarea 3: A

Tarea 1: Tarea 1:
Identificación
Nombre Tarea 2: Tarea 2:
CEAD/CCAV/CERES/UDR
Tarea 3: Tarea 3:
 PASO 7 – Resolución de situaciones problemicas del mundo real desde la Lógica
Matemática
Tarea 1: Proposiciones y tablas de verdad.

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo una
descripción basada en el contexto académico, remplazando las variables expresadas
simbólicamente para llevarlas al lenguaje natural.
La solución de los enunciados debe contar con las siguientes etapas:
 Definición de las proposiciones simples

 Lenguaje natural de la expresión formal

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

 Definir si el argumento es una Tautología, contradicción o contingencia

B. [(p→q)∧(q→r)∧(s∨~r)∧(~s∨t)∧(~t)]⟶~p

RTA:

 Definición de las proposiciones simples

p: si quiero alcanzar mis metas propuestas

q: estudio en la universidad UNAD
r: estudio seguridad ocupacional
s: si estudio administración de empresas

t: soy indeciso al decidir

 Lenguaje natural de la expresión formal

Si quiero alcanzar mis metas propuestas entonces estudio en la universidad UNAD, por tanto,
si estudio en la universidad UNAD entonces estudio seguridad ocupacional. Pero si estudio
administración de empresas o no estudio seguridad ocupacional, y si no estudio
administración de empresas o bien soy indeciso al decidir, así como si no soy indeciso al
decidir; implica que no quiero alcanzar mis metas propuestas.
  Generar la tabla de verdad manualmente y a través del simulador Truth Table.
[(p⟶q)^(q⟶ [(p⟶q)^(q⟶ r)^(sv
(p⟶ (q⟶ (sv (~sv
p q r s t ~r ~s (~t) r)^(sv ~r)^(~sv ~p ~r)^(~sv t)^(~t)]⟶
q) r) ~r) t)
t)^(~t)] ~p
V V V V V F F V V V V F F F V
V V V V F F F V V V F V F F V
V V V F F F V V V F V V F F V
V V F F F V V V F V V V F F V
V F F F F V V F V V V V F F V
V V V F V F V V V F V F F F V
V V F V V V F V F V V F F F V
V F V V V F F F V V V F F F V
F V V V V F F V V V V F F V V
V F F F V V V F V V V F F F V
V F V F V F V F V F V F F F V
F F F F F V V V V V V V V V V
F F F F V V V V V V V F F V V
F F F V V V F V V V V F F V V
F F V V V F F V V V V F F V V
F V V V V F F V V V V F F V V
F F F V F V F V V V F V F V V
F F V F F F V V V F V V F V V
F V F F F V V V F V V V F V V
V F F F F V V F V V V V F F V
F V V V F F F V V V F V F V V
F V F V F V F V F V F V F V V
V V F V F V F V F V F V F F V
V V F F V V V V F V V F F F V
V F V V F F F F V V F V F F V
V F V F F F V F V F V V F F V
V F F V V V F F V V V F F F V
V F F V F V F F V V F V F F V
F V V F V F V V V F V F F V V
F V V F F F V V V F V V F V V
F V F V V V F V F V V F F V V
F V F F V V V V F V V F F V V
F F V V F F F V V V F V F V V
F F V F V F V V V F V F F V V
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth
Table.
El resultado de tabla de verdad manual versus el simulador, es igual, coincide los
resultados

 Definir si el argumento es una Tautología, contradicción o contingencia

Este argumento es una tautología.

Tarea 2: Teoría de Conjuntos

De las siguientes situaciones representarlas en un diagrama de Venn y solucionar los

interrogantes planteados. Cada estudiante debe seleccionar uno de los ejercicios
referenciados y anunciar su escogencia en el foro, de tal forma que no coincida con los
compañeros.

La solución debe contener:

 Identificación de los conjuntos

 Elaboración del Diagrama de Venn
 Descripción de la solución del Problema
 Argumentación de la validez de su respuesta.

B. Una empresa fabricante de equipos para telefonía celular desea hacer un nuevo
lanzamiento para el verano del 2018, por lo que decidió tomar los datos de la
aplicación de una encuesta sobre la preferencia de marca de dispositivos móviles, en
diferentes tiendas de venta de celulares. La encuesta fue aplicada a 4047 personas y
arrojó la siguiente información: 1938 personas manifestaron que han utilizado
iPhone; 1694 personas manifestaron que han utilizado celulares marca Nokia; 1048
personas respondieron que solo usan Samsung; 942 personas manifestaron que han
usado iPhone y Samsung; 1101 personas han usado iPhone y Nokia; 694 personas
han usado Nokia y Samsung; 430 personas manifestaron que han usado las tres
marcas. La empresa de telefonía quiere saber:
1. ¿Cuántos encuestados no usan celular?
2. ¿Cuántos encuestados usan solamente Samsung y Nokia?
3. ¿Cuántos encuestados usan solamente iPhone?
4. ¿Cuántos encuestados usan Samsung?
RTA:
 Identificación de los conjuntos
U= 4047 personas
A: IPhone
B: Nokia
C: Samsung
 Elaboración del Diagrama de Venn

 Descripción de la solución del Problema / Argumentación de la validez de su

respuesta

1. ¿Cuántos encuestados no usan celular?

RTA: D = U – (A + a + B + b + C + c + t)
D = 4047 - (325+671+329+264+1048+512+430)
D = 4047 – 3579
D = 468
De los encuestados 468 no usan celular
2. ¿Cuántos encuestados usan solamente Samsung y Nokia?
RTA = B + C
= 329 +1048
= 1377
De los encuestados solamente usan Samsung y Nokia, 1377 personas.
3. ¿Cuántos encuestados usan solamente iPhone?
RTA = 1938 – t – a – c
= 1938 – 430 – 671 – 512
= 325
En el enunciado nos dicen que 1938 personas dijeron que han utilizado iPhone, por
lo que ha este número se le resta el número de personas que han utilizado las 3 marcas
 y además de se le resta el resultado que dé en A∩B y el resultado de A∩C, por lo
tanto, de ahí deducimos que:
De los encuestados usan solamente iPhone, 325 personas.
4. ¿Cuántos encuestados usan Samsung?
RTA = C + (b / 2) + (t / 3) + (c / 2)
= 1048 + (264/2) + (430/3) + (512/2)
= 1048 + 132 + 143,33 + 256
= 1579,33
De los encuestados usan Samsung 1579,33 personas.

Tarea 3: Leyes de Inferencia

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de:

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.

B. En la seguridad vial es importante tener claro que ser precavido ayuda para evitar muchos

accidentes. Para implementar una campaña publicitaria, se ha planteado el siguiente

argumento: “Si voy en motocicleta y aumento la velocidad, llego temprano a la Universidad.

No es cierto que, si aumento la velocidad, gasto más combustible. Pasa que gasto más

combustible o voy en motocicleta. En conclusión, llego temprano a la Universidad”.

RTA:
p: voy en motocicleta q: aumento la velocidad
r: llego temprano a la Universidad s: gasto más combustible

{[ (p^q)⟶r]^~(q⟶s)^(s v p)} ⟶r
  Generar la tabla de verdad manualmente y a través del simulador Truth Table
p q r s (p^q) [(p^q)⟶r] ~(q⟶s) (sv p) {[ (p^q)⟶r]^~(q⟶s)^(s v p)} {[ (p^q)⟶r]^~(q⟶s)^(s v p)} ⟶r
V V V V V V F V F V
V V V F V V V V V V
V V F F V F V V F V
V F F F F V F V F V
F F F F F V F F F V
F F F V F V F V F V
F F V V F V F V F V
F V V V F V F V F V
V F V F F V F V F V
F V F V F V F V F V
V V F V V F F V F V
V F V V F V F V F V
F V V F F V V F F V
V F F V F V F V F V
V F V V F V F V F V
F V F F F V V F F V
F F V F F V F F F V
 Aplicación de las reglas de Inferencia.

De las reglas de inferencia a mi opinión y por lo visto en las unidades anteriores y

sobre todo en la guía de actividades anterior, diría que las reglas que se podría emplear

en este enunciado, son:

1. Modus ponendo ponens

p ⟶q
p_____
.˙. q

Considerando las siguientes premisas:

Si voy en motocicleta y aumento la velocidad, llego temprano a la Universidad.

Aumento la velocidad

Para determinar una conclusión válida, se formalizarán las premisas. Sea p «Si

voy en motocicleta y aumento la velocidad» y sea q «llego temprano a la

Universidad». Las premisas pueden escribirse simbólicamente:

p⟶q

Según la regla MPP, se escribe la concusión válida q «llego temprano a la

Universidad».

2. Silogismo hipotético puro

p⟶q
q⟶r_____
.˙. p⟶r
Considerando las siguientes premisas

No es cierto que, si aumento la velocidad, gasto más combustible. Pasa que gasto

más combustible o voy en motocicleta. En conclusión, llego temprano a la

Universidad
Para determinar una conclusión válida, se formalizarán las premisas. Sea p «si

aumento la velocidad, gasto más combustible», sea q «Pasa que gasto más

combustible o voy en motocicleta» y sea r «llego temprano a la Universidad».

Las premisas pueden escribirse simbólicamente:

p⟶q
q⟶r

Según la regla SHP, se escribe la concusión válida p → r «Pasa que gasto más

combustible o voy en motocicleta. En conclusión, llego temprano a la

Universidad».
 CONCLUSIÓN

Esta guía de actividad, fue muy excelente, ya que, al repasar los temas de las unidades

pasadas y las guías anteriores, logre entender mucho mejor ciertos temas que no logre

comprender, como lo fue el tema de la teoría de conjuntos.

En conclusión, general este curso en su totalidad me genero competencias comunicativas y

cognitivas a través del desarrollo de habilidades de pensamiento, como lo son el análisis, la

síntesis, la comparación, y la abstracción; aspectos que por lo tanto son importantes en el

desempeño académico, disciplinar y profesional. Por lo tanto, este curso me permitió

proponer y resolver situaciones de razonamiento lógico presentes tanto en mi vida cotidiana,

como en los cursos de mi programa de estudio.

 REFERECIAS BIBLIOGRAFICAS

Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de
aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&pp
g=30
Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemáticas". En ProQuest
ebrary (Ed). Matemáticas. Sus fundamentos en secuencia óptima. (pp. 24 – 34). Córdoba,
Argentina: El Cid Editor. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID=1007
5782&tm=1489706755797
Gonzáles, T. L., & Saavedra, M. (2009). "Teoría de Conjuntos". En ProQuest ebrary
(Ed). Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24). Bogotá,
Colombia: Educar Editores S.A. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docID=1034
5286&tm=1489708381971
Curo, A., & Martiń ez, M. (2013). Matemática básica para administradores. Lima, Peru:
Editorial UPC. Páginas 22 - 27. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2048/login?url=http://search.ebscohost.com/login.asp
x?direct=true&db=e000xww&AN=1042768&lang=es&site=ehost-
live&ebv=EB&ppid=pp_1