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.

A: MATEMATICAS > 13

B: FISICA > 13

C: CATEDRA UNADISTA > 15

A B
A

4 1

2
3 2

7 C
=29
Determinar:

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

R/= Ningún tutor.

➢ ¿Cuántos tutores se requieren para que orienten Matemáticas y Catedra Unadista,

pero no física?

R/= Se requieren 5 tutores.

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

R/= 1 solo tutor.

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

cátedra unadista?

R/= 7 tutores.

A partir de la situación que el estudiante haya seleccionado, el estudiante deberá:

 Representar la información dada en un diagrama de VENN EULER.

 Solucionar los interrogantes planteados.
e. Expresión simbólica: [(𝑝 → 𝑞) ⋀ (𝑞 → 𝑟) ⋀ (𝑝 ∧ 𝑠)] → (𝑟)

Premisas:

P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: 𝑝 ∧ 𝑠

Conclusión: 𝒓

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

• Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
en un contexto, el que se solicita es un contexto académico, ejemplo: p: Carlos estudia en la
UNAD q: La UNAD es una Universidad Pública

Proposiciones simples:

p: juan jose estudia en la unad.

q: juan jose estudio para el examen.

r: juan jose gano el examen final.

s: fue a la biblioteca.

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD. [(𝑝 → 𝑞) ⋀ (𝑞 → 𝑟) ⋀ (𝑝 ∧ 𝑠)] → (𝑟)

Si juan jose estudia en la unad ENTONCES juan jose estudio para el examen y
SI juan jose estudio para el examen ENTONCES juan jose gano el examen final y
Si juan jose estudia en la unad Y SI fue a la biblioteca.
POR LO TANTO, juan jose gano el examen final.
• Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico (El
estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD, en el
Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
 • Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).

[(𝑝 → 𝑞) ⋀ (𝑞 → 𝑟) ⋀ (𝑝 ∧ 𝑠)] → (𝑟)

(𝑝→r (p→q)∧(𝑝→r [(p→q)∧(𝑝→r)∧ [(p→q)∧(𝑝→r)∧
p q r s (p→q) (p∧s)
) ) (p∧s)] (p∧s)] →r
f f f f v v f v f v

f f f v v v f v f v

f f v f v v f v f v

f f v v v v f v f v

f v f f v f f f f v

f v f v v f f f f v

f v v f v v f v f v

f v v v v v f v f v

v f f f f v f f f v

v f f v f v v f f v

v f v f f v f f f v

v f v v f v v f f v

v v f f v f f f f v

v v f v v f v f f v

v v v f v v f v f v

v v v v v v v v v v
Resultado de la tabla de verdad: Tautología

• Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

Premisas:

P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: 𝑝 ∧ 𝑠

Conclusión: 𝒓

P4: p simplificación en p3

P5: p → 𝑟 silogismos hipotético entre p1 y p2

P6: 𝑟 modus ponens entre p5 y p4 <- conclusión.