Aplicación de la Teoría de Conjuntos

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.

Determinar:

 ¿Cuántos tutores se requieren para que oriente Matemáticas únicamente? 4 tutores

 ¿Cuántos tutores se requieren para que orienten Matemáticas y Catedra Unadista, pero no
física? 3 tutores

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

 ¿Cuántos tutores se requieren para que oriente Matemáticas o Física, pero no cátedra unadista?
4 tutores.

Matemáticas. A= 13

Física. B= 13

Catedra. C= 15

AnB= 6
4 4
BnC= 4
5
AnC= 5 2
AnBnC= 2 3 2
8
Métodos para probar la validez de un argumento

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

Premisas:

P1: (~𝒑 → 𝒒) =

P2: (𝒒 → 𝒓)

P3: (~𝒓)

Conclusión: 𝒑

A partir de la expresión simbólica seleccionada, el estudiante deberá:

P = amigos sinceros.

Q = amigos falsos

R = amigos hipócritas

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
un contexto. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Si no hay amigos sinceros, entonces hay amigos falsos.

Si hay amigos falsos, entonces hay amigos hipócritas.

Si no hay amigos hipócritas

Entonces hay amigos sinceros.

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico.

JTabla - Resultados

p q r ((~p→q)∧(q→r)∧(~r))→p
v v v V
v v f V
v f v V
v f f V
f v v V
f v f V
f f v V
f f f V
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto
del desarrollo manual).

p q r (~p) (~r) ((~p)→q) (q→r) ((((~p)→q))^((q→r))) (((((~p)→q))^((q→r)))^((~r))) ((((((~p)→q))^((q→r)))^((~r)))→p)

F F F V V F V F F V

F F V V F F V F F V

F V F V V V F F F V

F V V V F V V V F V

V F F F V V V V V V

V F V F F V V V F V

V V F F V V F F F V

V V V F F V V V F V

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica. Es una
tautología en cuanto los resultados son verdaderos. Pero el argumento lógico no es válido porque
es resultado final es una contradicción