PENSAMIENTO LÓGICO MATEMÁTICO

Tarea 4 – Sustentación unidades 1, 2 o 3

Presentado por:
XXXXXXXXXXXXXX
Código: XXXXXXXXXXXXXXXX

Grupo:
XXXXXXXXXX

Tutor
XXXXXXXXXXXXX

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos

A. Se realizó una encuesta los estudiantes de Pensamiento Lógico Matemático, a acerca

de sus preferencias en el uso de las redes sociales y se obtuvieron los siguientes
resultados:
 60 prefieren Facebook,
 25 prefieren twitter,
 10 prefieren Instagram,
 2 prefieren las tres redes sociales,
 10 prefieren solo Facebook y twitter simultáneamente,
 2 prefieren sólo Instagram y Facebook simultáneamente
 4 prefieren sólo twitter y Instagram simultáneamente,
 4 no tiene preferencia por ninguna red social

Para el desarrollo de este ejercicio debemos hacer un gráfico de conjuntos y

llenarlos primero con las restricciones, para después completarlas

A partir de la situación planteada dar respuesta las siguientes preguntas:

 ¿Cuántos estudiantes prefieren únicamente Instagram?

 2 estudiantes prefieren únicamente Instagram
 ¿Cuántos estudiantes prefieren únicamente twitter?
9 estudiantes prefieren únicamente Twitter
 ¿Cuántos estudiantes prefieren Instagram y Facebook?
2 estudiantes prefieren Instagram y Facebook únicamente
 ¿Cuántos estudiantes fueron encuestados?
79 estudiantes fueron encuestados

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

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 2.:

a. Expresión simbólica:
[(𝑝 → 𝑞)⋀(𝑞 → 𝑟)⋀(𝑝⋀𝑠)] → (𝑟)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝⋀𝑠

Conclusión: 𝒓

A partir de la expresión simbólica seleccionada, el estudiante deberá:

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción
basada en un contexto, el que se solicita es un contexto académico
𝑝: 𝐸𝑖𝑙𝑒𝑒𝑛 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑒𝑛 𝑙𝑎 𝑈𝑁𝐴𝐷
𝑞: 𝐸𝑖𝑙𝑒𝑒𝑛 ℎ𝑎𝑐𝑒 𝑠𝑢𝑠 𝑡𝑟𝑎𝑏𝑎𝑗𝑜𝑠
𝑟: 𝐸𝑖𝑙𝑒𝑒𝑛 𝑎𝑝𝑟𝑢𝑒𝑏𝑎 𝑠𝑢𝑠 𝑐𝑢𝑟𝑠𝑜𝑠
𝑠: 𝐸𝑖𝑙𝑒𝑒𝑛 𝑠𝑎𝑐𝑎 𝑏𝑢𝑒𝑛𝑎𝑠 𝑛𝑜𝑡𝑎𝑠
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las
proposiciones simples deben ser de autoría de cada estudiante
Si Eileen estudia en la UNAD, entonces Eileen hace sus trabajos y si Eileen hace sus
trabajos, entonces Eileen aprueba sus cursos y si Eileen estudia en la UNAD y saca buenas
notas, como conclusión Eileen aprueba sus cursos.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico

p q r s ((p→q)∧(q→r)∧(p∧s))→(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

Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r s p→q q→r p⋀s (p→q)⋀(q→r) (p→q)⋀(q→r)⋀(p⋀s) [(p→q)⋀(q→r)⋀(p⋀s)]→r

v v v v v v v v v v
v v v f v v f v f v
v v f v v f v f f v
v v f f v f f f f v
v f v v f v v f f v
v f v f f v f f f v
v f f v f v v f f v
v f f f f v f f f v
f v v v v v f v f v
f v v f v v f v f v
f v f v v f f f f v
f v f f v f f f f v
f f v v v v f v f v
f f v f v v f v f v
f f f v v v f v f v
f f f f v v f v f v

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

 P1: 𝑝 → 𝑞
 P2: 𝑞 → 𝑟
 P3: 𝑝⋀𝑠
 P4:𝑝 → 𝑟 Silogismo Hipotético de P1 con P2
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
∴𝑝→𝑟

 P5:𝑝 Simplificacion de P3
P3: 𝑝⋀𝑠
∴𝑝

 ∴ 𝑟 Modo ponendo ponens MPP de P4 y P5

P4:𝑝 → 𝑟
P5:𝑝
∴𝑟
 Bibliografía

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

MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&doc

ID=4569631&tm=1529336365580

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

(pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado de

https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&docID

=3199701&tm=1529336485971

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