Taller 3

Manuela Alejandra Avella Cabrera

Cedula 1057601729
Grupo
90004_909

Tutor
Edgar Mauricio Alba

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias Básicas, Tecnología e ingeniería
Ingeniería de Sistemas
Lógica Matemática
2019
Desarrollo de la actividad

b. 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 Facebook y Instagram
 4 prefieren twitter y Instagram,
 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 Facebook y Instagram?

 ¿Cuántos estudiantes fueron encuestados?

A partir de la situación que el estudiante haya seleccionado, el estudiante deberá:

 Representar la información dada en un diagrama de Venn Euler

 Solucionar los interrogantes planteados.

Desarrollo de la actividad
Ejercicio 1
Diagrama de Venn Euler

A= Facebook = 60
B = Twitter = 25
C = Instagram = 10
A ∩ B∩C=2
A ∩ B = 12
B∩ C=6
A ∩ C=4
A= 60 – 10 – 2 – 2 = 46
B = 25 – 10 – 2 – 4 = 9
C = 10 – 2 – 2 – 4 = 2
U = 75 + 4 = 79
Complementario = 4

Solución de los interrogantes planteados

 ¿Cuántos estudiantes prefieren únicamente Instagram?

c
U

RTA: 2 estudiantes prefieren únicamente Instagram.

  ¿Cuántos estudiantes prefieren únicamente twitter?

RTA: 9 estudiantes prefieren únicamente twitter.

 ¿Cuántos estudiantes prefieren Facebook y Instagram?

RTA: 66 estudiantes prefieren Facebook y Instagram.

  ¿Cuántos estudiantes fueron encuestados?

RTA: Fueron encuestados 79 estudiantes ya que 4 no tienen preferencia por

ninguna red social.

Ejercicio 2

Desarrollo da la actividad

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

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública
 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.

 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de recursos
 educativos Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico,
así como el link de acceso al recurso)

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

(En Word, Excel o foto del desarrollo manual).

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

inferencia lógica

Solución
Definición de las proposiciones simple

p= Andrea estudia filosofía

q= Andrea estudia en la universidad
s= La universidad es publica
r= Andrea tiene muchos compañeros

Reemplazo de las variables expresadas simbólicamente al lenguaje natural.

[(𝑝→𝑞)∧(𝑞→𝑟)∧(𝑝∧𝑠)]→(𝑟)

Si Andrea estudia filosofía Entonces Andrea estudia en la universidad Y Andrea

estudia en la universidad Entonces Andrea tiene muchos compañeros Y Andrea
estudia filosofía Y la universidad es publica Entonces Andrea tiene muchos
compañeros.
Tabla de verdad en el simulador
Tabla de verdad manualmente

[(𝑝→𝑞)∧(𝑞→𝑟)∧(𝑝∧𝑠)]→(𝑟)

p q s r (pq) (pr) (p˄s) [(pq)˄(qr)˄(p˄s) [(pq)˄(qr)˄(p˄s)

V V V V V V V V V
V V V F V F V F V
V V F V V V F F V
V V F F V F F F V
V F V V F V F F V
V F V F F F V F V
V F F V F V F F V
V F F F F F F F V
F V V V V V F F V
F V V F V V F F V
F V F V V V F F V
F V F F V V F F V
F F V V V V F F V
F F V F V V F F V
F F F V V V F F V
F F F F V V F F V
Demostración de la validez del argumento mediante las leyes de inferencia.

[(𝑝→𝑞)∧(𝑞→𝑟)∧(𝑝∧𝑠)]→(𝑟)

Premisas:
P1: 𝑝→𝑞
P2: 𝑞→𝑟
P3: 𝑝∧𝑠
Conclusión: 𝒓

P4= P simplificación a P3
P5= S simplificación a P3
P6= q modus ponendo ponem P1 – P4
P7= r modus ponendo ponem P2 – P6 (respuesta)

Es valida porque la conclusión y la premisa 7 son iguales. La conclusión da r.