VOY A DESARROLLAR LOS EJERCICIOS (d)

Ejercicio 1: Aplicación de la Teoría de Conjuntos

Descripción del ejercicio:

A continuación, encontrará una serie de situaciones en contextos reales, las cuales deberán ser analizadas

por el estudiante para el desarrollo del ejercicio 1

d) 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 Lógica Matemática; 260

matricularon el curso de Algebra Lineal; 360 matricularon el curso de Calculo Diferencial; 200

matricularon Lógica Matemática y Algebra Lineal; 250 matricularon Lógica Matemática y Calculo

Diferencial; 150 matricularon Algebra Lineal y Calculo Diferencia y 100 matricularon Lógica

Matemática, Algebra Lineal y Calculo Diferencial.

Calcular:
DIAGRAMA DEL CONJUNTO PROPUESTO: Para mejor entendimiento de los datos.

CONJUNTOS:

L.A=Lógica matemáticas.

A.L= Algebra lineal.

C.D= Calculo diferencial.

 ¿Cuántos fueron los profesores encuestados?

RTA: (0) profesores fueron encuestados, solo fueron estudiantes de la UNAD.

 ¿Cuántas estudiantes tienen solamente matriculado el curso de Lógica Matemática?

RTA: 450 son los estudiantes que tienen matriculado SOLO lógica matemática.

 ¿Cuántas estudiantes tienen solamente matriculado el curso de Algebra Lineal?

RTA: 260 son los estudiantes que tienen matriculado SOLO Algebra Lineal.

 ¿Cuántas estudiantes tienen matriculados Lógica Matemática y Algebra Lineal, pero no tienen

matriculado Cálculo Diferencial?

RTA: 910 son los estudiantes que tienen matriculado Lógica Matemática y Algebra Lineal, pero

no tienen matriculado Cálculo Diferencial.

 ¿Cuántas estudiantes tienen matriculado el curso de Lógica Matemática y Cálculo Diferencial

pero no Algebra Lineal?

RTA: 1.060 son los estudiantes que 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

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:

d) 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.

RTA:

p: Soy disciplinada en mis estudios.

q: Entrego mis aportes significativos a tiempo.

 r: Resuelvo las inquietudes del tema con mi tutor.

s: Me dedico a rumbear, pasear.

t: En las noches veo video-tutoriales del tema.

 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.

RTA:

Si soy disciplinada en mis estudios entonces entrego mis aportes significativos a tiempo o

resuelvo mis inquietudes del tema con mi tutor. Y si me dedico a rumbear, pasear, entonces no

entrego mis aportes significativos a tiempo. Y si en las noches veo video-tutoriales del tema

entonces no necesito resolver mis inquietudes del tema con mi tutor. Y si soy disciplinada en mis

estudios y en las noches veo video-tutoriales del tema. Por lo tanto, entrego mis aportes

significativos a tiempo.

 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)

RTA:
p q r s t ((p→(q∨r))∧(s→~q)∧(t→~r)∧(p∧t))→q
v v v v v V
v v v v f V
v v v f v V
v v v f f V
v v f v v V
v v f v f V
v v f f v V
v v f f f V
v f v v v V
v f v v f V
v f v f v V
v f v f f V
v f f v v V
v f f v f V
v f f f v V
v f f f f V
f v v v v V
f v v v f V
f v v f v V
f v v f f V
f v f v v V
f v f v f V
f v f f v V
f v f f f V
f f v v v V
f f v v f V
f f v f v V
f f v f f V
f f f v v V
f f f v f V
f f f f v V
f f f f f V
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto

del desarrollo manual).

RTA:
  Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

RTA:

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