PASO 7: RESOLUCIÓN DE SITUACIONES PROBLEMICAS DEL MUNDO REAL

DESDE LA LÓGICA MATEMÁTICA

LEDHERZON CONTRERAS PINTO

HUGO HERNANDO DIAZ RAGA

PENSAMIENTO LOGICO MATEMATICO

GRUPO 200611_126

YOPAL
15 DE AGOSTO DE 2018
 Introducción

En este trabajo final adquirí conocimientos sobre los tres (3) temas del curso de
pensamiento lógico matemático como lo son las tablas de verdad, teoría de
conjuntos y leyes de inferencia tal así que repasamos lo que se vio desde que
iniciamos el curso de pensamiento lógico matemático y es un buen reto haber
aprendido de este trabajo.
 Objetivos

- Identificar los tres temas que vimos a lo largo de este curso de pensamiento
lógico Matemático.
- Dar el mejor desempeño para la formulación de las tablas de verdad, la
teoría de conjuntos y las leyes de inferencia.
- Aprender de las temáticas de este curso para poder aplicarlas mas
adelante.
 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.

A. {[p→(qΛr)]Λ¬rΛ(p→r)Λq}→q
p. estudio ingeniería industrial

q. Seré un buen estudiante

r. un gran profesional

Si estudio ingeniería industrial en la Unad entonces seré un buen estudiante y un

gran profesional. Pero no un gran profesional sin embargo, estudio ingeniería
industrial entre otras un gran profesional, además seré un buen estudiante;
entonces seré un buen estudiante.

Tabla de verdad Manualmente

p q r ¬r (qΛr) [p→(qΛr)] {[p→(qΛr)]Λ¬r (p→r) (p→r)Λq {[p→(qΛr)]Λ¬rΛ(p {[p→(qΛr)]Λ¬rΛ(p→r)Λq}
→r)Λq} →q
V V V F V V F V V F V
V V F V F F F F F F V
V F V F F F F V F F V
V F F V F F F F F F V
F V V F V V F V V F V
F V F V F V V V V V V
F F V F F V F V F F V
F F F V F V V V F F V

Truth Table

p q
V V
V V
V F
V F
F V
F V
F F
F F
r {[p→(qΛr)]Λ¬rΛ(p→r)Λq}→q
V V
F V
V V
F V
V V
F V
V V
F V
La Expresión Es Una Tautología

Tarea 2: Teoría de Conjuntos

Se ha realizado una encuesta a 200 madres de familia, se sabe que las madres
que solo son amas de casa son tantas como las que son amas de casa y trabajan
y además que las que solo trabajan son la tercera parte de las que son amas de
casa.

 ¿Cuántas amas de casa solo trabajan?
Respuesta: 50

 ¿Cuántas amas de casa trabajan o son amas de casa, pero no las dos
simultáneamente?
Respuesta: 125

U=200
A: Amas de casa=X
T: Amas de casa y trabajan=X

2𝑋
X+X+ = 200 A∩T
3

2𝑋 2𝑋
+
1 3

6𝑋+2𝑋
=200
3

8𝑋 200
=
3 1

8𝑥 = 600
600
X= X=75
8
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.

 1. Supongamos que tenemos el argumento “Si no compramos una parcela,
entonces construimos una casa. Si construimos una casa, no compramos
un apartamento. Si no compramos un apartamento entonces compramos
muebles. No compramos una parcela. No compramos muebles o
compramos un apartamento. Por lo tanto, compramos un apartamento”.

P: se compra una parcela

Q: construimos una casa
R: comprar un apartamento
S: comprar muebles
Premisa 1. ¬p→q
Premisa 2. q→¬r
Premisa 3. ¬r→s
Premisa 4. ¬p
Premisa 5. ¬s ∨ r

6. r conclusión
7. q (MPP 1-4)
8. ¬r (MPP 2-7)
9. s (MPP 3-8)
10. r (MTP 5-8)

Tabla de verdad Manualmente

[(¬p→q)Λ(q→¬r)Λ(¬r→s) Λ¬pΛ(¬sVr)]→r

p q r s ¬p ¬r ¬s [(¬p→q) Λ (q→¬r) Λ (¬r→s) Λ ¬p Λ (¬sVr) ] → r

V V V V F F F V F F F V F F F V V V
V V V F F F V V F F F V F F F V V V
V V F V F V F V V V V V F F F F V F
V V F F F V V V V V F F F F F V V F
V F V V F F F V V V V V F F F V V V
V F V F F F V V V V V V F F F V V V
V F F V F V F V V V V V F F F F V F
V F F F F V V V V V F F F F F V V F
F V V V V F F V F F F V F V F V V V
F V V F V F V V F F F V F V F V V V
F V F V V V F V V V V V V V F F V F
F V F F V V V V V V F F F V F V V F
F F V V V F F F F V F V F V F V V V
F F V F V F V F F V F V F V F V V V
F F F V V V F F F V F V F V F F V F
F F F F V V V F F V F F F V F V V F
 Truth Table
p q r s [(¬p→q)Λ(q→¬r)Λ(¬r→s)Λ¬pΛ(¬sVr)]→r
V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V

La expresión es una Tautología.

 CONCLUSIÓN

Con este trabajo fue un excelente para recordar los temas que vimos a lo
largo del curso de pensamiento lógico y matemático, nos sirvió como
retroalimentación para lograr los objetivos del trabajo.

Logre resolver los temas correspondientes a las tablas de verdad, teoría de

conjuntos y reglas de inferencia.
 BIBLIOGRAFIA

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

Federal, MÉXICO: Grupo Editorial Patria. Páginas 80- 84 Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=9
1&docID=11230887&tm=1496180214861

- Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado

dehttp://hdl.handle.net/10596/13869

- Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las

matemáticas universitarias. México: McGraw-Hill Interamericana.
Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=
10473069