LOGICA MATEMATICA

PASO 7: RESOLUCIÓN DE SITUACIONES PROBLÉMICAS

DEL MUNDO REAL (POA).

TUTOR:
CARLOS FERNANDO VARRELA

EVELIN JULIETH HERAZO PEDRAZA

GRUPO: 200611_36
INGENIERIA INDUSTRIAL.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
DUITAMA
2018
INTRODUCCION
Mediante esté trabajo realizaremos diversos ejercicios con los cuales enriqueceremos
nuestros conocimientos, atravez del desarrollo de cada uno de ellos, así teniendo más
claro el tema propuesto.
 OBJETIVOS.

 Atravez de diferentes ejercicios comprender el tema propuesto por el tuto.

 Poner en práctica nuestros conocimientos, para así adquirir mayores resultados en
el área de matemáticas.
 Conocer un poco más sobre los diversos temas que tiene esta área, así teniendo
mejores bases para un futuro.
Actividades a desarrollar
Tarea 1: Proposiciones y tablas de verdad

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.

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

C. {[ p → ( q ∨r ) ] ∧ ( s →∼q ) ∧ ( t →∼ r ) ∧ ( p ∧t ) } → q

Si voy a la universidad entonces recibo clases de matemáticas de contabilidad si tengo

clases de estadística no tengo clases de matemáticas. Si tengo libre la primera hora no
tengo contabilidad. Voy a la universidad y tengo libre la primera hora por lo tanto;
tengo clases de matemáticas.

p: voy a la universidad.
q: recibo clases de matemáticas.
r: recibo clases de contabilidad.
s: recibo clases de estadística.
t: tengo libre la primera hora.
tabla 1: 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.

A. La EPS Comfenalco ha decidido realizar un análisis a los 3043 pacientes adultos

mayores que se encuentran inscritos en los programas de promoción y
prevención (PPP). Al revisar las historias clínicas se logra evidenciar que la
mayoría de pacientes tienen diabetes. Para prestar un mejor servicio se analizan
los datos y se sabe que 1156 sufren de tiroides, 1658 sufren de diabetes, 1589
sufren de hipertensión, 513 sufren de Tiroides y Diabetes a la vez, 922 tienen
Hipertensión y Diabetes, 626 tienen Hipertensión y problemas de Tiroides, 301
tienen las tres enfermedades. De acuerdo con esta información, se requiere
saber:
 ¿Cuántas personas no tiene ninguna de estas tres enfermedades?
 ¿Cuántos pacientes solamente tienen problemas de Tiroides?
 ¿Cuántos pacientes únicamente tienen Diabetes?
 ¿Cuántos pacientes tienen problemas de Tiroides, pero no de Hipertensión?
 Identificación de los conjuntos
 U: {pacientes adultos mayores que se encuentran inscritos en los programas
de promoción y prevención (PPP)}
 T: {Pacientes que sufren de tiroides}
 D: {Pacientes que sufren de diabetes}
H: {Pacientes que sufren de hipertensión
U=3043
T=1156

D=1658

B E C

301
G F

D
H=1589

513=Sufren de tiroides y diabetes= e+201

922=sufren de hipertensión y diabetes=f+301
626=sufren de hipertensión y tiroides=g+301
e= 513–  301 = 212
f= 922 –  301 = 621
g= 623– 301 = 322
 U=3043

T=1156 D=1658

B 212 C
I

301
621 H=1589
322

b= 1156– 212 – 301 –  322 = 321
c= 1658–  212 – 301 –  621= 524
d= 1589–  322– 301 -621= 345
i= 3043 –  321– 212– 524 –  322 –  301 –  621 -345= 397
 U=3043

T=1156
D=1658

B 212
524
397

301
322 621
H=1589

345

 ¿Cuántas personas no tiene ninguna de estas tres

enfermedades?
 RTA:397 PERSONAS
 ¿Cuántos pacientes solamente tienen problemas de Tiroides?
 RTA: 321 PERSONAS
 ¿Cuántos pacientes únicamente tienen Diabetes?
 RTA: 524 PERSONAS
 ¿Cuántos pacientes tienen problemas de Tiroides, pero no de
 Hipertensión?
 RTA: 1153 – 322 – 301= 530 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.

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.

E.A los niños en edad escolar se les debe enseñar la importancia de cumplir con

sus deberes en el colegio, por tal razón una psicóloga infantil le recomienda a un

chico lo siguiente: “Si estudias a diario, tendrás tiempo para divertirte en el

parque. Te va bien en las materias o no tendrás tiempo para divertirte en el

parque. Si haces trampa en las tareas, entonces no te va bien en las materias. Por

lo tanto, si estudias a diario, entonces no haces trampa en las tareas”.

DEFINICIÓN DE PREPOSICIONES SIMPLES:

p: estudiar a diario
q: tiempo de divertirse en el parque
r: ir bien en las materias
S: hacer trampa

LENGUAJE NATURAL DE LA EXPOSICIÓN FORMAL

p →q : Si estudias a diario, tendrás tiempo para divertirte en el parque.

r ∨ q: Te va bien en las materias o no tendrás tiempo para divertirte en el parque

(S→¬r) : Si haces trampa en las tareas, entonces no te va bien en las materias

p →¬r: si estudias a diario, entonces no haces trampa en las tarea

GENERAR TABLA DE LA VERDAD.

{[(p →q] ∧ [ r ∨¬ q] ∧[(s →¬r)] → [p →¬s]}

p q r s p->q r nq r v nq s nr s->nr (p->q)^(rvnq) (p->q)^(rvnq)^(s->nr) p ns p->ns D->E
v v v v v v f v v f f v f v f f v
v v v f v v f v f f v v f v v v v
v v f v v f f f v v v f f v f f v
v v f f v f f f f v v f f v v v v
v f v v f v v v v f f f f v f f v
v f v f f v v v f f v f f v v v v
v f f v f f v v v v v f f v f f v
v f f f f f v v f v v f f v v v v
f v v v v v f v v f f v f f f v v
f v v f v v f v f f v v v f v v v
f v f v v f f f v v v f f f f v v
f v f f v f f f f v v f f f v v v
f f v v v v v v v f f v f f f v v
f f v f v v v v f f v v v f v v v
f f f v v f v v v v v v v f f v v
f f f f v f v v f v v v v f v v v
tautologia

El argumento es: Tautología