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

Directora de curso:

Carolina Castaño Gutierrez

Tutor/a:

Maria Andrea Botero

Estudiante:

Raael Eduardo Yances Mejia

Código: (10779326)

Grupo: 910

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnologías e Ingeniería ECBTI

Ingenieria de Telecomunicaciones

Pensamiento logico y Matematico (200611B_761)

Sincelejo Abril de 2020

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

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.
a. 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?
 ¿Cuántos estudiantes prefieren Instagram y Facebook?
 ¿Cuántos estudiantes fueron encuestados?

Solución:

Conjunto U = Estudiantes de Lógica Matemática

Conjunto A = Facebook = 60
Conjunto B = Twitter = 25
Conjunto C = Instagram = 10
A∩B∩C=2

A ∩ B = 10

C∩A=2
C∩B=4

No tienen preferencia = 4

Conjunto A = Facebook = 60
Conjunto B = Twitter = 25

Conjunto C = Instagram = 10

 ¿Cuántos estudiantes prefieren únicamente Instagram?

6 Estudiantes prefieren únicamente Instagram
 ¿Cuántos estudiantes prefieren únicamente twitter?
13 Estudiantes prefieren únicamente Twitter

 ¿Cuántos estudiantes prefieren Instagram y Facebook?

2 Estudiantes prefieren Instagram y Facebook

 ¿Cuántos estudiantes fueron encuestados?

Fueron encuestados 85 Estudiantes.
La suma de todos los componentes del conjunto universal
50+8+13+2+2+6+4=85
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.:

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

p: pedro estudia matemáticas

q: juan estudia filosofía
r: pedro es buen estudiante
s: juan es un buen profesional

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.
[ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r)] → s
pedro estudia matemáticas o juan estudia filosofía. Pedro estudia
matemáticas entonces pedro es buen estudiante. Juan estudia filosofía
entonces juan es un buen profesional. Pedro no es buen estudiante;
por lo tanto juan es un buen profesional.
 Generar una tabla de verdad con el simulador Lógica UNAD a
partir del lenguaje simbólico
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico. [ ( p ∨q ) ∧ ( p → r ) ∧ ( q → s ) ⋀ (¬ r) ] → s

P Q R S ( p ∨q ) ( p →r ) ( q → s ) (¬ r) [ ( p ∨q ) ∧ ( p → r ) ∧ ( q →
[ ( ps∨q ) ∧r)( p] → r ) ∧ ( q → s ) ⋀ (¬ r) ] → s
) ⋀ (¬

V V V V V V V F F V
V V V F V V F F F V
V V F V V F V V F V
V V F F V F F V F V
V F V V V V V F F V
V F V F V V V F F V
V F F V V F V V F V
V F F F V F V V F V
F V V V V V V F F V
F V V F V V F F F V
F V F V V V V V V V
F V F F V V F V F V
F F V V F V V F F V
F F V F F V V F F V
F F F V F V V V F V
F F F F F V V V F V
Resultado de la tabla de verdad: TAUTOLOGÍA
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica
 Premisas:
 P1: p ∨q
 P2: p →r
 P3: q → s
 P4: ¬ r
 Conclusión: s
Solución:
 P1: p ∨q
P2: p →r
P3: q→s
P4: ¬r

C1 5: p →r Aplicando regla Tolleando Tollens (TT) a la premisa 2 y 4

¬r
C1 5: ¬ p

C2 6: p ∨q Aplicando regla Tolleando Ponens (TP) a la premisa 1 y 5

¬p
C2 6: q

C: q → s Aplicando regla Modus Ponens (MP) a la premisa 3 y 6

q
C: s

Bibliografías

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

Grupo Editorial Patria. Recuperado de https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?

docID=3229101&ppg=15
 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://ebookcentral-proquest-
com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=81