Ejercicio 1

Aplicación de la Teoría de Conjuntos

E. La UNAD requiere la vinculación de 29 tutores en las siguientes áreas:
13 tutores de Matemáticas, 13 Tutores de Física, y 15 tutores de Catedra
Unadista. Para el cubrimiento de los cargos se requiere que 6 tutores
orienten Matemáticas y Física, 4 profesores orienten Física y Catedra
Unadista y 5 tutores orienten Matemáticas y Catedra Unadista. 2 tutores
deben estar en la capacidad de orientar los tres cursos.

Matemáticas (13) = M
Física (13) = F
Catedra Unadista (15) = C
Conjunto Universal (29) = U

MnFnC=2
MnF=6
MnC=5
FnC=4
M = 13
F = 13
C = 15

Determinar:
 ¿Cuántos tutores se requieren para que oriente Matemáticas
únicamente?
R/ Se requieren 4 tutores

 ¿Cuántos tutores se requieren para que orienten Matemáticas y

Catedra Unadista, pero no física?
R/ Se requieren 15 tutores

 ¿Cuántos tutores se requieren para que oriente Física únicamente?

R/ Se requieren 5 tutores

 ¿Cuántos tutores se requieren para que oriente Matemáticas o

Física, pero no cátedra Unadista?
R/ Se requieren 13 tutores

Ejercicio 2
Métodos para probar la validez de un argumento

E. Expresión simbólica:
[(~p→q)∧(q→r)∧(~r)]⟶p
Premisas:
P1: (~p→q)
P2: (q→r)
P3: (~r)
Conclusión: p
A partir de la expresión simbólica seleccionada, el estudiante deberá:
 Definir las proposiciones simples.

P: La actividad es compleja
 Q: La realizare en casa
R: Obtendré buenas calificaciones

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

La actividad NO es compleja, ENTONCES la realizare en casa Y la

realizare en casa ENTONCES obtendré buenas calificaciones Y NO
obtendré buenas calificaciones ENTONCES la actividad es
compleja.

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

p q r ¬p (¬p→q) (q→r) (¬r) (¬p→q)˄(q→r) (¬p→q)˄(q→r)˄(¬r) →p

v v v f v v f v f v
v v f f v f v f f v
v f v f v v f v f v
v f f f v v v v v v
f v v v v v f v f v
f v f v v f v f f v
f f v v f v f f f v
f f f v f v v f f v
 Obtenemos una Tautología, por ende, es un razonamiento valido.

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica