SUSTENTACIÓN UNIDADES 1, 2 O 3

Nombre
Grupo.:
Abril 2020.

Universidad Nacional Abierta y a Distancia (UNAD).

Pensamiento Lógico y Matemático
 Tabla de Contenidos

Pág.
1- Introducción 3
2- Ejercicio 1 4
3- Ejercicio 2 8
4- Conclusiones 13
5- Webgrafía 14
6-

2
 Introducción

En presente trabajo se lleva a cabo para el curso de pensamiento lógico y matemático donde
se llevaron a cabo la finalización de las diversas unidades planteadas durante el curso el
cual se desarrolla tomando en cuenta los concentos de lógica y pensamiento matemático,
para concluir con la sustentación de los ejercicios realizados basándonos en todo el
semestre.

3
Ejercicio 1: Aplicación de la Teoría de Conjuntos

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 2), la siguiente referencia:

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

Grupo Editorial Patria.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio:
A continuación, encontrará una serie de situaciones en contextos reales, las cuales deberán
ser analizadas por el estudiante para el desarrollo del ejercicio 1.

Se realizó una encuesta los estudiantes de Lógica Matemática, 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 Facebook y Twitter,
 2 prefieren Instagram y Facebook
 4 prefieren Instagram y Twitter,
 4 no tiene preferencia por ninguna red social

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

 ¿Cuántos estudiantes prefieren únicamente Instagram?
 ¿Cuántos estudiantes prefieren únicamente Twitter?

4
  ¿Cuántos estudiantes prefieren Instagram y Facebook?
 ¿Cuántos estudiantes fueron encuestados?

Desarrollo
U =Preferencias en redes sociales
F=Facebook
T =Twitter
I =Instagram
F=60
T =25
I =10
T ∩ F ∩ I =2
T ∩ F=10
F ∩ I =2
T ∩ I =4
Ninguna=4
Con la información dada se grafica el conjunto universal

5
  ¿Cuántos estudiantes prefieren únicamente Instagram?

Dos estudiantes prefieren únicamente Instagram

 ¿Cuántos estudiantes prefieren únicamente Twitter?

Nueve estudiantes prefieren únicamente Twitter

6
  ¿Cuántos estudiantes prefieren Instagram y Facebook?

2+2=4 Cuatro estudiantes prefieren Instagram y Facebook

 ¿Cuántos estudiantes fueron encuestados?

46+10+2+2+9+4+2+4=79 Setenta y nueve estudiantes fueron encuestados.

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

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3), la siguiente referencia:

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

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

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

Expresión simbólica: [ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r) ] → s

Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r

Conclusión: s

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,
ejemplo:

p: Carlos estudia en la UNAD

8
 q: La UNAD es una Universidad Públic
Desarrollo

p=Estudio para la evalucion de pensamiento logico

q= Asisto a lacelebracion en mi empresa

r =Me va bienen el semestre

s=Puedo charlar con mis compañeros

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
encontrar proposiciones iguales entre estudiantes se considerara como copia y se
tomaran las medidas correctivas estipuladas por la UNAD.

[ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ ( ¬r ) ] → s

Si estudio para la evaluación de pensamiento lógico o asisto a la celebración en mi

empresa. Si estudio para la evaluación de pensamiento lógico entonces me va bien en el
semestre. Si asisto a la celebración en mi empresa entonces puedo charlar con mis
compañeros. Si no me va bien en el semestre. Por lo tanto, puedo charlar con mis
compañeros.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos

9
 Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)

Tautologia

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

10
2n=2 4=16

[ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ ( ¬r ) ] → s

Tabla manual

p q r s ( p ∨q ) ( p →r ) ( q → s ) ( ¬r ) ( p ∨q ) ∧ ( p(→
p ∨q
r ) ) ∧ ( (pp→
∨qr ))∧ →srs) ) ∧ ( q → s ) ⋀ ( ¬r )
∧((qp→
V V V V V V V F V V F V
V V V F V V F F V F F V
V V F V V F V V F F F V
V V F F V F F V F F F V
V F V V V V V F V V F V
V F V F V V V F V V F V
V F F V V F V V F F F V
V F F F V F V V F F F V
F V V V V V V F V V F V
F V V F V V F F V F F V
F V F V V V V V V V V V
F V F F V V F V V F F V
F F V V F V V F F F F V
F F V F F V V F F F F V
F F F V F V V V F F F V
F F F F F V V V F F F V

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

11
 Expresión simbólica: [ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r) ] → s

Premisas:
P1: p ∨q
P2: p →r
P3: q → s
P4: ¬ r
P5: ¬ p MTT en P 2 y P 4
P6: q MTP en P 1 y P 5
P7: s Conclusion MPP en P 3 y P 6

p →r
¬r
¬ p ModusTollendo Tollens

p∨ q
¬p
q ModusTollendo Ponens

q→s
q
s Modus Ponendo Ponens
Conclusión

El análisis de diferentes ejercicios nos permiten ampliar nuestro razonamiento matemático

y de esta manera poder llegar a amplias conclusiones no solo en nuestro ambiente de
formación académica si no en general en muchos aspectos de nuestras vidas.

Sustentar los presentes ejercicios nos permite concluir con el análisis de los ejercicios
desarrollados dentro el semestre.

12
 Webgrafía

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

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

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

13