TAREA 3: SUSTENTACION UNIDADES 1 O 2

LOGICA MATEMATICA

CRISTIAN ARMANDO JIMENEZ GUIJO

1065911770

PRESENTADO A:

JOHNNY ALIRIO BLANQUICETT

Tutor

Universidad Nacional Abierta Y A Distancia UNAD

Agronomía
Aguachica-cesar
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 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.

INTERROGANTES:

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

únicamente?

Tutores para matemáticas son 4

● ¿Cuántos tutores se requieren para que orienten Matemáticas y Cátedra

Unadista, pero no física?

Tutores para matemáticas y cátedra Unadista son 3

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

Tutores para física 5

● ¿Cuántos tutores se requieren para que oriente Matemáticas o Física,

pero no cátedra Unadista?

Tutores para matemáticas o física, pero no cátedra Unadista son 4

DIAGRAMA DE VENN EULER:
Ejercicio 2: Métodos para probar la validez de un argumento

e. Expresión simbólica:
[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] → 𝒑
Premisas:
P1: ~𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ~𝒓
Conclusión: 𝒑

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.

SOLUCION:

Premisa 1: Si la tarea NO es difícil ENTONCES la tarea es para la casa

Premisa 2: si la tarea es para la casa ENTONCES Saca una buena nota

Premisia 3: por lo tanto si NO saca una buena nota ENTONCES la tarea es difícil.

Conclusión: la tarea es difícil.

P: La tarea no es difícil

Q: La tarea es para la casa

R: Sacar una buena nota

TABLA DE VERDAD CON EL SIMULADOR TRUTH TABLE:
 TABLA DE VERDAD EN WORD:

p q r ~𝒑 ~𝒓 ~𝒑->q q->r (~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) (~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓) (~𝒑 → 𝒒)

∧ (𝒒 → 𝒓)
∧ (~𝒓)] → 𝒑

V V V F F V V V F V
V V F F V V F F F V
V F V F F V V F F V
V F F F V V V F F V
F V V V F V V V F V
F V F V V V F F F V
F F V V F F V F F V
F F F V V F V F F V

LEYES DE INFERENCIA:

Premisas:

P1: ~𝑝 → 𝑞
P2: 𝑞 → 𝑟
conclusión: 𝑝 → 𝑟
[(𝒑 → 𝒒) ∧ (𝒒 → 𝒓) → (𝒑 → 𝒓)