Tarea 4: sustentación

Tutor: Fabio Ossa

Estudiante: Sergio Baudier Sánchez Culma

Grupo colaborativo: 200611_506

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PENSAMIENTO LOGICO Y MATEMATICO
La Plata, 1 de mayo de 2020
Ejercicio n. 1
Aplicación de la Teoría de Conjuntos

a. Determina el número de estudiantes de un curso, si se sabe que cada

uno participa en al menos una de los tres cursos de verano español,
inglés o filosofía. 48 participan en el de español, 45 en el de inglés, 49
en el de Filosofía, 28 en el de español e inglés, 26 en el de español y
Filosofía, 28 en el de inglés y filosofía y 18 en los tres seminarios.
¿Cuántos estudiantes participan en los seminarios de inglés y español,
pero no en el de filosofía? ¿Cuántos participan sólo en el de filosofía?
¿Cuántos estudiantes participaron en total?

E I U: cursos de verano
10 E: español
12 7 I: ingles
18 F: filosofía

8 10 E ∩  I: 10
13 E ∩  F: 8
F F ∩ I:10

E ∩ I ∩ F:18

E:48-18-10-8:12 I:45-18-10-10:7 F:49-18-10-8:13

U:12+10+7+18+8+10+13: 78
 - ¿Cuántos estudiantes participan en los seminarios de inglés y español,
pero no en el de filosofía?

E I
12 7
10

18
8 10

13
F

Los estudiantes que estudiaron en inglés y español, pero no en filosofía

fueron 10

- ¿Cuántos participan sólo en el de filosofía?

E I
12 7
10

18
8 10

13
F
 Los estudiantes que participaron solo en filosofía
Fueron 13

- ¿Cuántos estudiantes participaron en total?

E I
12 7
10

18
8 10

13
F

Los estudiantes que participaron en los tres cursos de verano

fueron:78
12+10+7+18+8+10+13: 78

Ejercicio 2
Expresión simbólica: {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: 𝑟 →∼ 𝑝
P3: 𝑝 ∧ 𝑠
Conclusión: 𝑞 ∧ s
 Proposiciones simples:

P: soy estudiante de la unad

q: estudio pensamiento lógico matemático
r: realizo la sustentación
s: obtengo los puntos

Razonamiento en lenguaje natural

Si soy estudiante de la unad entonces estudio pensamiento lógico

matemático por lo tanto realizo la sustentación, y si realizo la
sustentación entonces no soy estudiante de la unad y si soy estudiante
de la unad y obtengo los puntos entonces estudio pensamiento lógico
matemático y obtengo los puntos.

Generar la tabla de verdad con el simulador Lógica UNAD

Generar la tabla de verdad manualmente:
leyes de inferencia:

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)

Premisas:
P1: (𝑝 → 𝑞) ∨ 𝑟
P2: 𝑟 →∼ 𝑝
P3: 𝑝 ∧ 𝑠

Conclusión: 𝑞 ∧ s

P4: p S3
P5: ~r TT 4,2
P6: p→q TP 5,1
P7: q^s DS 6,3 conclusion