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

Pensamiento Lógico Matemático

Presentado Por:
Sergio Andrés Muñoz Lizarazo

COD: 1095924065

Grupo: 200611_162

Presentado a:
Paulo Andrés Vélez

Ingeniería Electrónica

Universidad Nacional Abierta y a Distancia

2019
A. 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.

CD

360

250 150
100
PLM
AL

450 200
260
 Calcular:

 ¿Cuántos fueron los estudiantes encuestados?

Fueron encuestados 1770 estudiantes

 ¿Cuántas estudiantes tienen solamente matriculado el curso de PLM?

450 estudiantes están matriculados en PLM

 ¿Cuántas estudiantes tienen solamente matriculado el curso de

Algebra Lineal?
260 estudiantes están matriculados en algebra lineal

 ¿Cuántas estudiantes tienen matriculados PLM y Algebra Lineal, pero

no tienen matriculado Cálculo Diferencial?
910 estudiantes tienen matriculado PLM y algebra Lineal, pero no
tienen matriculado calculo diferencial

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

Diferencial pero no Algebra Lineal?
1060 estudiantes tienen matriculado el curso de PLM y Calculo
Diferencial pero no Algebra Lineal

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.
a. Expresión simbólica:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞

Premisas:
P1: 𝑝→(𝑞∨𝑟)
P2: 𝑠→∼𝑞
P3: 𝑡→∼𝑟
P4: 𝑝∧𝑡
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.
p: soy dedicado con mis trabajos
q: hago mis aportes a tiempo en el foro del curso
r: participo de las videoconferencias
s: practico futbol en el tiempo libre
t: el tutor resuelve mis dudas por skipe
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje
natural. Las proposiciones simples deben ser de autoría de cada estudiante
Si soy dedicado en mis trabajos entonces hago mis aportes a tiempo en el
foro o participo de las videoconferencias. y si practico futbol en el tiempo
libre entonces no hago mis aportes a tiempo en el foro del curso. Y si el
tutor resuelve mis dudas por skipe entonces no participo de las
videoconferencias. Y si soy dedicado con mis trabajos y el tutor resuelve
mis dudas por skipe. Por lo tanto, hago mis aportes a tiempo en el foro del
curso
 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
(En Word, Excel o foto del desarrollo manual
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica
P1:𝑝 → (𝑞 ∨ 𝑟)

P2: 𝑠 →∼ 𝑞

P3: 𝑡 →∼ 𝑟

P4: 𝑝 ∧ 𝑡

/∴ q

5. t Simp. (4)

6. p Simp. (4)

7. ~ r MPP (3), (5)

8. q ∨ r MPP (1), (6)

9. q SD (7), (8) Conclusión