Tarea 4 - Sustentación Unidades 1, 2 o 3

Realizado por:

Diana Patricia Sánchez Ramos

Presentado a:

German Cristancho

Pensamiento Lógico y Matemático

Universidad Nacional Abierta y a Distancia – UNAD

Licenciatura en Pedagogía Infantil

CEAD – Pasto

Julio 2019
Desarrollo Ejercicios D
Ejercicio 1: Aplicación de la Teoría de Conjuntos
Una encuesta realizada a un grupo de estudiantes de la Universidad Nacional Abierta y a
Distancia –UNAD- donde todos respondieron, reveló que 450 matricularon el curso de
PLM; 260 matricularon el curso de Algebra Lineal; 360 matricularon el curso de Calculo
Diferencial; 200 matricularon PLM y Algebra Lineal; 250 matricularon PLM y Calculo
Diferencial; 150 matricularon Algebra Lineal y Calculo Diferencia y 100 matricularon
PLM, Algebra Lineal y Calculo Diferencial.

Diagrama

Pensamiento Lógico Matemático = PLM 450

Algebra Lineal= AL 260

Calculo Diferencial= CD 360

  ¿Cuántos fueron los estudiantes encuestados?

Rta//
100+150+60+100+100+50+10=570 estudiantes
 ¿Cuántas estudiantes tienen solamente matriculado el curso de PLM?

RTA// 100 estudiantes tienen solo matriculado el curso de lógica

Matemática
¿Cuántas estudiantes tienen solamente matriculado el curso de Algebra
Lineal?
 Rta// 10 estudiantes tienen solamente matriculado el curso de Algebra lineal
 ¿Cuántas estudiantes tienen matriculados PLM y Algebra Lineal, pero
no tienen matriculado Cálculo Diferencial?

Rta// 100+100+10 =210estudiantes tienen matriculados Lógica Matemática

y Algebra Lineal, pero no tienen matriculado Cálculo Diferencial

 ¿Cuántas estudiantes tienen matriculado el curso de PLM y Cálculo

Diferencial pero no Algebra Lineal?

Rta// 100+150+60 = 210estudiantes tienen matriculado el curso de Lógica

Matemática y Cálculo Diferencial pero no Algebra Lineal
Ejercicio 2: Métodos para probar la validez de un argumento

Expresión simbólica:

{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas:

P1: 𝑝→(𝑞∨𝑟)

P2: 𝑠→∼𝑞
P3: 𝑡→∼𝑟
P4: 𝑝∧𝑡

Conclusión: 𝑞

 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: Soy juiciosa en mis estudios.
q: Entrego mis actividades a tiempo.
r: Resuelvo las inquietudes sobre el tema.
s: Dedico tiempo a mi familia y paseos.
t: En cualquier instante veo video del tema.
 Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante.
Si soy juiciosa en mis estudios entonces entrego mis actividades a tiempo
resuelvo mis inquietudes sobre el tema. Y si dedico tiempo a mi familia y
paseos, entonces no entrego mis actividades a tiempo. Y si En cualquier
instante veo video del tema entonces no necesito resolver mis inquietudes
del tema. Y si soy juiciosa en mis estudios y en cualquier instante veo video
del tema. Por lo tanto, entrego mis actividades a tiempo.
 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 r s t ∼𝑞 ∼r p q s→ t→ p∧ t [p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t) {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q
v v ~q ~r
q r
V V V V V F F V V F F V F V
V V V V F F F V V F F F F V
V V V F V F F V V F F V F V
V V V F F F F V V F V F F V
V V F V V F V V V F V V F V
V V F V F F V V V V V F F V
V V F F V F V V V V V V F V
V V F F F F V V V V V F F V
V F V V V V F V V V F V F V
V F V V F V F V V V V F F V
V F V F V V F V V V F V F V
V F V F F V F V V V V F F V
V F F V V V V V V V V V F V
V F F V F V V V V V V F F V
V F F F V V V V V V V V V V
V F F F F V V V V V V F F V
F V V V V F F V V F F F F V
F V V V F F F V V F V F F V
F V V F V F F V V V F F F V
F V V F F F F V V V F F F V
F V F V V F V V V F V F F V
F V F V F F V V V F V F F V
F V F F V F V V V V V F F V
F V F F F F V V V V V F F V
F F V V V V F V V V F F F V
F F V V F V F V V V V F F V
F F V F V V F V V V F F F V
F F V F F V F V V V V F F V
F F F V V V V V V V V F F V
F F F V F V V V V V V F F V
F F F F V V V V V V V F F V
F F F F F V V V V V V F 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
P1. p →(q v r)
P2. s →~q
P3. t →~ r
P4. P ∧ t
/∴ q

5. t Simplificación en premisa. (4)

6. p Simplificación en premisa. (4)
7. ~ r MPP (3), (5)
8. q v r MPP (1), (6)
9. q Silogismo disyuntivo (SD) (7), (8) Conclusión