a.

Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑠)] → (𝑟)

Premisas:
P1: 𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑠

Conclusión: 𝒓 Adriana se gradua con honores

 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.
P= adriana estudia en la unad
q= adriana ve la materia de lógica matematica
r= adriana se gradua con honores
s= adriana desarrolla los ejercicios

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante.

si adriana estudia en la unad entonces ve la materia de lógica

matemática además si ve la materia de lógica matemática
entonces adriana se gradua con honores también si adriana
estudia en la unad y adriana desarrolla los ejercicios entonces
adriana se gradua con honores.

 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).
 p q r s [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑠)] → (𝑟)
V V V V V v V V V V V V V V V V V
V V V F V v V V V V V V V V F V V
V V F V V v V V V V F V V V V V F
V V F F V v V V V V F V V V F V F
V F V V V v F V F V V V F V V V V
V F V F V v F V F V V V F F F V V
V F F V V v F V F F F V F V V V F
V F F F V v F V F F F V F F F V F
F V V V F v V V V V V V V V V V V
F V V F F v V V V V V V V V F V V
F V F V F v V V V V F V V V V V F
F V F F F v V V V V F V V V F V F
F F V V F f F V F V V V F V V V V
F F V F F f F V F V V V F F F V V
F F F V F f F F F F F V F V V V F
F F F F F f F F F F F V F V f V F
v
Demostración de la validez del argumento mediante las leyes de la
inferencia lógica
P1: p→q
P2: q→r
P3: p∧s
C: r
P4: p simplificación 3
P5: q MPP 1,4
Conclusion ( r ) MPP 2,5