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

A ¿Cuántos fueron los profesores encuestados?

B ¿Cuántas estudiantes tienen solamente matriculado el curso de Lógica Matemática?
C ¿Cuántas estudiantes tienen solamente matriculado el curso de Algebra Lineal?
D ¿Cuántas estudiantes tienen matriculados Lógica Matemática y Algebra Lineal, pero
no tienen matriculado Cálculo Diferencial?
E ¿Cuántas estudiantes tienen matriculado el curso de Lógica Matemática y Cálculo
Diferencial pero no Algebra Lineal?

L A LOGICA=L= 1000
200 260
Algebra=A=710
450
Calculo=C=850
100
A= 1000+710+850= 2560
250 150
B= 450
C= 260
360 C
D= 200
E= 250
 Ejercicio#2: Métodos para probar la validez de un argumento
Expresión simbólica:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
Premisas:
P1:𝑝 → (𝑞 ∨ 𝑟)
P2: 𝑠 →∼ 𝑞
P3: 𝑡 →∼ 𝑟
P4: 𝑝 ∧ 𝑡
Conclusión: 𝑞
P= luna toma el bus q= luna llega temprano
r= luna madruga s= luna alcanza puesto en el bus
t= luna toma el taxi
Razonamiento en lenguaje natural: si luna toma el bus entonces luna
llegara temprano o si luna madruga entonces alcanza puesto en el bus
entonces luna no llega temprano y si luna toma el taxi luna no madruga y
si luna toma el bus y toma el taxi entonces luna llega temprano.

Tabla de la verdad

P Q r s t ∼ 𝑞 ∼ 𝑟 𝑝 → (𝑞 ∨ 𝑟) (𝑠 →∼ 𝑞) (𝑡 →∼ 𝑟) (𝑝 ∧ 𝑡) {[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟)
∧ (𝑝 ∧ 𝑡)} → 𝑞

V V V V V F F V F V F V
V V V V F F F F F F F V
V V V F V F V F V V V V
V V V F F F V F V V V V
V V F V V V F V F F F V
V V F V F V F V F F V V
V V F F V V V F V V F V
V V F F F V V F V V V V
V F V V V F F V F F F V
V F V V F F F V F F V V
V F V F V F V F V V F V
V F V F F F V F V V V V
V F F V V V F V F F F V
V F F V F V F V F F V V
V F F F V V V F V V F V
v F F F F V V F V V V V
F V V V V F F V F F F V
F V V V F F F V F F V V
F V V F V F V F V V F V
F V V F F F V F V V F V
F V F V V V F V F F V V
F V F V F V F V F F V V
F V F F V V V F V V F V
F V F F F V V F V V F V
F F V V V F F V F F V V
F F V V F F F V F F V V
F F V F V F V F V V F V
F F V F F F V F V V F V
F F F V V V F V F F V V
F F F V F V F V F F V V
F F F F V V V F V V F V
F F F F F V V F V V F V

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
 p q r s t ((p→(q∨r))∧(s→~q)∧(t→~r)∧(p∧t))→q
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

 Resultado de la tabla de verdad: TAUTOLOGÍA