PENSAMIENTO LOGICO MATEMATICO

TAREA 4

TUTOR:

LUIS EDUARDO BENJUMEA

INTEGRANTE

YENNY PAOLA VEGA

COD: 1024368692

CURSO: 200611-264

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.

BOGOTA, 2019
 Contenido

Introducción ............................................................................................................................ 3

Objetivos................................................................................................................................. 4

Desarrollo de los ejercicios..................................................................................................... 5

Ejercicio 1 Aplicación de la teoría de conjuntos ................................................................ 5

Ejercicio 2 Métodos para probar la validez de un argumento ............................................ 6

Conclusiones........................................................................................................................... 9

Referencias ........................................................................................................................... 10
 Introducción

La lógica proposicional es un sistema, prácticamente un lenguaje que compuesto de

enunciados simples y conectores se pueden crear estructuras muy complejas. Cualquier

sistema lógico es decidible, y esto representa la principal ventaja de la lógica proposicional,

es decir se puede deducir la veracidad o falsedad de la semántica de la proposición.

La lógica matemática es mucho mas amplia, una de sus ramas es la teoría de conjuntos, su

contenido es tan completo que actualmente se considera la Teoría Zermelo-Fraenkel puede

desarrollar por sí misma toda la matemática. Con conjunto se puede representar de forma

sencilla silogismos y demostrar su validez, esta es la importancia que se le dará en el

documento.

El ultimo tema a desarrollar corresponde a los razonamientos lógicos, se parte de algunos

argumentos y proposiciones, la base del razonamiento son unos juicios que corresponden a

conocimiento ya adquirido, a partir de la lógica se puede comprobar la validez de las

hipótesis o conclusión.
 Objetivos

 Comprender y aprender los fundamentos de la lógica y aplicarlo en la resolución de

problemas reales dentro de la profesión.
 Desarrollar la capacidad de comprender problemas con su correspondiente
contextualización que se puedan resolver con la teoría de conjuntos.
 Identificar los métodos de deducción e inducción para el desarrollo de validación de
argumentos, usando las reglas de inferencia lógica.
 Desarrollo de los ejercicios
Ejercicio 1 Aplicación de la teoría de conjuntos

La UNAD requiere la vinculación de 29 tutores en las siguientes áreas:

 13 tutores de Matemáticas,

 13 Tutores de Física,

 15 tutores de Catedra Unadista.

Para el cubrimiento de los cargos se requiere:

 6 tutores orienten Matemáticas y Física,

 4 profesores orienten Física y Catedra Unadista

 5 tutores orienten Matemáticas y Catedra Unadista.

 2 tutores deben estar en la capacidad de orientar los tres cursos.

Diagrama de Venn

 M: Tutores de matemáticas

 F: Tutores de física.

 C: Catedra unadista.
Determinar:

 ¿Cuántos tutores se requieren para que oriente Matemáticas únicamente?

𝑀−𝐹−𝐶 =4

 ¿Cuántos tutores se requieren para que orienten Matemáticas y Catedra Unadista,

pero no física?

(𝑀 ∩ 𝐶) − 𝐹 = 3

 ¿Cuántos tutores se requieren para que oriente Física únicamente?

𝐹−𝑀−𝐶 =5

 ¿Cuántos tutores se requieren para que oriente Matemáticas o Física, pero no

cátedra unadista?

(𝑀 ∪ 𝐹) − 𝐶 = 13

Ejercicio 2 Métodos para probar la validez de un argumento

Expresion simbolica

[(~p → q) ∧ (q → r) ∧ (~r)] ⟶ 𝑝

Premisas

P1: (~𝒑 → 𝒒)

P2: (𝒒 → 𝒓)

P3: (~𝒓)

Conclusión: 𝒑
Preposiciones simples:

 p: Entregar trabajos a tiempo.

 q: Tener que repetir el curso.

 r: tener que pagar para repetir el curso.

Razonamiento en lenguaje natural

 P1: Si no entrego los trabajos a tiempo entonces tendré que repetir el curso.

 P2: Si tengo que repetir el curso entonces tengo que pagar para repetir el curso.

 P3: Para no tener que pagar para repetir el curso.

 C: Entregar los trabajos a tiempo

Si no entrego los trabajos a tiempo entonces tendré que repetir el curso, si tengo que repetir

el curso entonces tengo que pagar para repetir el curso, no tengo que pagar para repetir el

curso, por lo tanto, entrego los trabajos a tiempo.

Tabla de verdad en simulador de lógica jtruth.

Tabla de verdad en Excel:

𝑝 𝑞 𝑟 ¬𝑝 ¬𝑝 → 𝑞 𝑞 → 𝑟 ¬𝑟 (¬𝑝 → 𝑞)∧ (𝑞 → 𝑟) ∧ (¬𝑟) (¬𝑝 → 𝑞)∧ (𝑞 → 𝑟) ∧ (¬𝑟)→ 𝑝

V V V F V V F F V
V V F F V F V F V
V F V F V V F F V
V F F F V V V V V
F V V V V V F F V
F V F V V F V F V
F F V V F V F F V
F F F V F V V F V

Leyes de inferencia:

Usando las tablas de verdad ya se ha demostrado que el argumento es una tautología.

Premisas

1. ~𝒑 → 𝒒 Premisa

2. 𝒒 → 𝒓 Premisa

3. ~𝒓 Premisa

4. ~𝒒 3,2 Modus Tollendo Tollens

C. 𝒑 4,1 Modus Tollendo Tollens

 Conclusiones

 En base al trabajo realizado no solo en la ultima tarea se logro desarrollas las

habilidades básicas para aplicar los conocimientos de la lógica a problemas de la

vida real.

 Se reconoció con suficiente precisión los conceptos de la teoría de conjuntos, así

como ella nos puede ayudar a caracterizar y organizar datos recolectados o suplir

unos ciertos requerimientos.

 El desarrollo del razonamiento es de suma importancia al tratar de generar hipótesis

y tratar de comprobarlas mediante algún método, es usado en investigación donde

todo lo que desarrollemos tendrá que ser resultado de un conjunto de argumentos

que sean validos en la conclusión a la que se llegue.

 Referencias

 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,

MÉXICO: Grupo Editorial Patria.

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. Madrid: Ediciones Elizcom.

 Barker, S. F. (1991). Elementos de lógica (5a. ed.). McGraw-Hill Interamericana.

 Ivorra, C (2004). Lógica y teoría de conjuntos, Buenos Aires.

 Carranza, R. Mendoza, N. (2011). El razonamiento clínico y el razonamiento

farmacológico en medicina. México Distrito federal: Facultad de Medicina de la

UNAM

 Sánchez, H. R. (2014). Álgebra. (pp. 14 - 29). México, D.F., México: Larousse -

Grupo Editorial Patria.