Trabajo presentador por:

Jefry Bedoya Pareja

Lógica Matemática

Curso 90004_795

Entregado a:

Tutora Gloria Paulina Castellano

Universidad Nacional Abierta y a Distancia

Mayo 2019
 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 Cátedra Unadista.
Para el cubrimiento de los cargos se requiere que 6 tutores orienten Matemáticas
y Física, 4 profesores orienten Física y Cátedra Unadista y 5 tutores orienten
Matemáticas y Cátedra Unadista. 2 tutores deben estar en la capacidad de
orientar los tres cursos.

Determinar:
● ¿Cuántos tutores se requieren para que oriente Matemáticas únicamente?
R/ Tutores para matemáticas son 4
● ¿Cuántos tutores se requieren para que orienten Matemáticas y Cátedra
Unadista, pero no física?
R/ Tutores para matemáticas y cátedra unadista son 3
● ¿Cuántos tutores se requieren para que oriente Física únicamente?
R/ Tutores para física 5
● ¿Cuántos tutores se requieren para que oriente Matemáticas o Física, pero no
cátedra unadista?
R/ Tutores para matemáticas o física, pero no cátedra unadista son 4

M Ω F= 6
F Ω C.U= 4
M Ω C.U= 5
M Ω F Ω C.U= 2
M: 13-4-2-3= 4
F: 13-4-2-2= 5
C.U: 15-3-2-2= 8
U: 29-28= 1
Ejercicio 2: Métodos para probar la validez de un argumento

e. Expresión simbólica: [(~𝒑→𝒒)∧(𝒒→𝒓)∧(~𝒓)]→𝒑

Premisas:
P1: ~𝑝→𝑞
P2: 𝑞→𝑟
P3: ~𝒓

Conclusión: 𝑝

Desarrollo:

Premisas simples:

P: La tarea es difícil
Q: La tarea es para la casa
R: Sacar una buena nota

Razonamiento en lenguaje natural:

Si la tarea NO es difícil ENTONCES la tarea es para la casa Y

Si la tarea es para la casa ENTONCES Saca una buena nota Y Si NO saca una
buena nota ENTONCES la tarea es difícil.

Tabla de la verdad:
leyes de inferencia:

Premisas:
P1: ~𝑝→𝑞
P2: 𝑞→𝑟
P3: ~𝒓

P4: ¬q TT (2,3)
P5: ¬(¬p) TT (1,4)
P6: p DN (5) CONCLUSIÓN