X

Universidad Nacional Abierta y a Distancia

Escuela de ciencias básicas tecnología e ingeniera

Ingeniería de sistemas

Lógica matemática

Tarea 3: sustentación Unidad 1 y 2

Dorado Ovalle Ivone Andrea

Tutor: Jose Rafael Bocachica

Grupo 129

Abril 2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos
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?

 6 estudiantes que prefieren únicamente Instagram

 ¿Cuántos estudiantes prefieren únicamente Twitter?

Los estudiantes que prefieren únicamente Twitter Son 13

 ¿Cuántos estudiantes prefieren Facebook y Instagram?

 Los estudiantes que solo prefieren Facebook e Instagram son 2
 ¿Cuántos estudiantes fueron encuestados?
Fuero 117 estudiantes encuestados

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

117 Estudiantes fueron encuestados

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

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

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

Conclusión: 𝒓

𝑝 → Lucia estudia en la universidad Nacional Abierta y a Distancia

𝑞 → Matriculo siete materias

𝑟 → Estudia todos los días después del trabajo

𝑠 → No tiene tiempo

Si Lucia estudia en la universidad Nacional Abierta y a Distancia,

entonces Matriculo siete materias, si Matriculo siete materias entonces
Estudia todos los días después del trabajo. Lucia estudia en la universidad
Nacional Abierta y a Distancia y No tiene tiempo.
tabla de verdad con simulador

tabla de verdad manualmente

 argumento Demostración de la validez del argumento mediante
las leyes de la inferencia lógica
Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑠
P4: 𝑝
P5: 𝑝 → 𝑟

Conclusión: 𝒓

Simplificación (3)

𝑝∧𝑠 3

𝒑 𝑷𝟒
Silogismo Hipotético (1,2)

𝑝→𝑞 1
𝑞→𝑟 2
𝒑→𝒓 𝑷𝟓

Modo Ponendo Ponenens (5,4)

𝑝→𝑟 5
𝑝 4
Conclusión
𝒓 𝑷𝟕