Está en la página 1de 11

PASO 7.

RESOLUCION DE PROBLEMAS DEL MUNDO REAL DESDE

LA LOGICA MATEMATICA

Estudiante

Jesus Arley Echeverri Ceballos

Docente

Diego Alejandro Cardona

Curso

Pensamiento Lógico y Matemático

Grupo

471

Ibagué

24-05-2018
INTRODUCCIÓN

Lógica significa razón, se considera una ciencia formal cuyo objetivo de estudio

son los distintos principios de demostración que permitan comprobar que una

afirmación pueda ser considerada como válida.

La metodología de trabajo de la lógica consiste en examinar una afirmación y

determinar si es verdadera o falsa, mediante la aplicación de una sistematización

en los argumentos y un análisis de su estructura lógica.

Es importante entender la importancia de la utilización de las operaciones de los

conjuntos para poder comprender la teoría de conjuntos, una rama de las

matemáticas que estudia las propiedades y relaciones de los conjuntos.

En el siguiente trabajo se ponen de manifiesto una serie de conceptos y temáticas

desarrolladas a lo largo del curso de pensamiento lógico y matemático, entre las

cuales se aplica la transición del lenguaje natural al lenguaje simbólico, la

identificación de las premisas simples, la elaboración de las tablas de verdad, el

uso de software simulador como el Truth Table. La demostración de la validez o

no validez de un planteamiento por medio de las leyes de inferencia y las formas

de razonamiento (inductivo y deductivo) para proponer una formalización y

resolución a las situaciones problémicas.


OBJETIVOS

 Identificar las clases de proposiciones que se pueden encontrar en un enunciado

 Analizar los enunciados para la elaboración de las tablas de verdad.

 Identificar si un argumento es verdadero o falso, así como demostrar su validez.

 Dar uso a las formas básicas de las tablas de verdad.

 Demostrar la validez o no validez de situaciones problémicas por medio de los principios

de lógica.

 Demostrar la validez o no validez de situaciones problémicas por medio de las leyes de

inferencia lógica.

 Analizar y plantear una solución grupal a la situación problémica sugerida en la guía

.
Actividades a desarrollar

Tarea 1: Proposiciones y tablas de verdad

D. [(p v q) ^ ((p ^ r) ⟶ s) ^ (r ^ ¬s)] ⟶ q

La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

p: mañana voy a votar

q: asisto a la reunión familiar

r: almuerzo con mis padres

s: me veré con mis amigos

 Lenguaje natural de la expresión formal

Mañana voy a votar o asisto a la reunión familiar, por lo tanto, mañana voy a votar y

almuerzo con mis padres, entonces me veré con mis amigos. Pero si mañana almuerzo

con mis padres y no veré a mis amigos, entonces asisto a la reunión familiar.

 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

El argumento es una Tautologia

Tarea 2: Teoría de Conjuntos

E. 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?

La solución debe contener:

 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}

 Elaboración del Diagrama de Venn

e= 513 – 301 = 212

f= 922 – 301 = 621

g= 623 – 301 = 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

 Descripción de la solución del Problema

 ¿Cuántas personas no tiene ninguna de estas tres enfermedades?


R/ 397 personas

 ¿Cuántos pacientes solamente tienen problemas de Tiroides?

R/ 321 personas

 ¿Cuántos pacientes únicamente tienen Diabetes?

R/ 524 personas

 ¿Cuántos pacientes tienen problemas de Tiroides, pero no de Hipertensión?

R/ 1153 – 322 – 301= 530 personas

Tarea 3: Leyes de Inferencia

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

Proposiciones:

p: estudias a diario

q: tiempo para divertirte en el parque

r: te va bien en las materias

s: haces trampa en las tareas

((p Λ q) Λ (r V ~q) Λ (s→~r)) → (p → ~s)


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


BIBILIOGRAFIA

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.

Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de

lógica. (pp. 151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria.

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.