PENSAMIENTO LOGICO Y MATEMATICO

Presentado por:
KETHIN PAOLA AHUMADA

Grupo: 200611A_471

Tutor:
HILDER MOSCOTE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Mayo-2018
 Objetivo general

 Entender y aplicar los conceptos generales de logica que se vieron en

todo el curso

Objetivos específicos

 Entender la terminologia acerca de las propiedades de la logica y sus

respectivas propiedades
 Usar propiedades de conjuntos para desarrollar problemas de
aplicación para este tema
 Verificar la veracidad de enunciados logicos haciendo uso de las reglas
de inferencia y probarlo mediante un simulador
 Introducción.

En este trabajo se va a emplear los conocimientos que se vieron en todo el curso

aplicandolos asi a problemas de aplicación y probarlos en un simulador para su
respectiva verificación
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

{[(𝑝𝑉~𝑟) ⟶ ~𝑞] ∧ (𝑝 ∧ 𝑞) ∧ (~𝑟 ˅ 𝑠)} ⟶ (𝑟 ∧ 𝑠)

𝑝: “El rector da un discurso”

𝑞: “Los diplomas llegan a tiempo”

𝑟: “Se cancela la fiesta de graduacion”

𝑠: “Los estudiantes se enojan”

Si el rector da un discurso o no se cancelan las fistas de graduación entonces

los diplomas no llegan a tiempo. El rector da un discurso y los diplomas llegan a
tiempo. No se cancela la fiesta de graduación o los estudiantes se enojan. Por lo
tanto, se cancela la fiesta de graduación y los estudiantes se enojan
𝑝 𝑞 𝑟 𝑠 ~𝑟 ~𝑞 𝑝𝑉~𝑟 𝑝∧𝑞 ~𝑟 ˅ 𝑠 {[(𝑝𝑉~𝑟) ⟶ ~𝑞] ∧ (𝑝 ∧ 𝑞) ∧ (~𝑟 ˅ 𝑠)} ⟶ (𝑟 ∧ 𝑠)
V V V V F F V V V V
V V V F F F V V F V
V V F V V F V V V V
V V F F V F V V V V
V F V V F V V F V V
V F V F F V V F F V
V F F V V V V F V V
V F F F V V V F V V
F V V V F F F F V V
F V V F F F F F F V
F V F V V F V F V V
F V F F V F V F V V
F F V V F V F F V V
F F V F F V F F F V
F F F V V V V F V V
F F F F V V V F V V

Concluimos que el enunciado es una tautologia.

Tarea 2: Teoría de Conjuntos
De las siguientes situaciones representarlas en un diagrama de Venn y
solucionar los interrogantes planteados.

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.

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?

T: “Pesonas que tienen tiroides”

D: “Pesonas que tienen diabetes”

H: “Pesonas que tienen Hipertensión”

 400 personas no tienen ninguna de estas enfermedades
 318 personas tiene problemas solamente de la tiroides
 524 personas unicamente tienen problemas de diabetes
 530 personas tienen problemas de la tiroides y no de hipertención
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.

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

𝑝: “Estudiar a diario”

𝑞: “Tener tiempo para divertise”

𝑟: “Ir bien en las materias”

𝑠: “Hacer trampa en la tarea”

𝑃1 : 𝑝 → 𝑞
𝑃2 : 𝑟 ⋁ ~𝑞
𝑃3 : 𝑠 → ~𝑟
𝐶: 𝑝 → ~𝑠
𝑝 𝑞 𝑟 𝑠 ~𝑟 ~𝑞 𝑝→𝑞 𝑟⋁~𝑞 𝑠 → ~𝑟 𝑝 → ~𝑠 [(𝑝 → 𝑞)(𝑟⋁~𝑞)(𝑠 → ~𝑟)] ⟶ (𝑝 → ~𝑠)
V V V V F F V V V F V
V V V F F F V V V V V
V V F V V F V F F F V
V V F F V F V F F V V
V F V V F V F V V F V
V F V F F V F V V V V
V F F V V V F V V F V
V F F F V V F V V V V
F V V V F F V V V V V
F V V F F F V V V V V
F V F V V F V F F V V
F V F F V F V F F V V
F F V V F V V V V V V
F F V F F V V V V V V
F F F V V V V V V V V
F F F F V V V V V V V

Concluimos que el enunciado es una tautologia

Ahora, usamos reglas de inferencia para determinar la validez

𝑃1 : 𝑝 → 𝑞
𝑃2 : 𝑟 ⋁ ~𝑞
𝑃3 : 𝑠 → ~𝑟
𝐶: 𝑝 → ~𝑠

𝑃2 : 𝑟 ⋁ ~𝑞
[𝑃 𝐷𝑜𝑏𝑙𝑒 𝑁𝑒𝑔𝑎𝑐𝑖ó𝑛]
𝑃4 : ~(~𝑟) ⋁ ~𝑞 4

𝑃1 : 𝑝→𝑞
𝑃3 : 𝑠 → ~𝑟
𝑃4 : ~(~𝑟) ⋁ ~𝑞
[𝑃 𝑆𝑖𝑙𝑜𝑔𝑖𝑠𝑚𝑜 𝐷𝑒𝑠𝑡𝑟𝑢𝑐𝑡𝑖𝑣𝑜]
𝑃5 : ~𝑝⋁~𝑠 5

𝑃5 : ~𝑝⋁~𝑠
[𝐶 𝐷𝑒𝑓𝑖𝑛𝑖𝑐𝑖ó𝑛 𝐼𝑚𝑝𝑙𝑖𝑐𝑎𝑐𝑖ó𝑛]
𝐶: 𝑝 → ~𝑠
 CONCLUCION

Es muy importante en mi carrera como tomar la desición correcta al momento

de analizar cierto tipos de problemas y poder saber como pasar del lenguaje
natural al logico y ayudarme de todas estas herramientas para tomar la
correcta.
 BIBLIOGRAFIA

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.

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

lógica.

Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemáticas". En

ProQuest ebrary (Ed). Matemáticas. Sus fundamentos en secuencia óptima.

Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En

ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios.