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

𝑝
𝑝→𝑞
𝑝→𝑟
𝑟
Premisas:
P1: 𝑝
P2: 𝑝 → 𝑞
P3: 𝑝 → 𝑟
Conclusión: 𝑟

p: Andres cursa lógica matemática en la UNAD

q: Andres identifica las leyes de la inferencia
r: Andres resuelve los ejercicios

Andres cursa lógica matemática en la UNAD y si Andres cursa lógica matemática en la

UNAD entonces Andres identifica las leyes de la inferencia y si Andres cursa lógica
matemática en la UNAD entonces Andres resuelve los ejercicios, entonces podemos
concluir que andres resuelve los ejercicios.

Resultado del simulador

 Tabla de verdad

p q r 𝑝→𝑞 𝑝 → 𝑟 (𝑝) ∧ (𝑝 → 𝑞) (𝑝) ∧ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟) [(𝑝) ∧ (𝑝 → 𝑞) ∧ (𝑝 → 𝑟)] → 𝑟

v v v v v v v v
v v f v f v f v
v f v f v f f v
v f f f f f f v
f v v v v f f v
f v f v v f f v
f f v v v f f v
f f f v v f f v

Podemos decir que como resultado de la tabla de verdad apresaríamos una tautología pues el
resultado es completamente verdad

 Demostración de la validez del argumento mediante las Leyes de Inferencia:

Premisas:
P1: 𝑝
P2: 𝑝 → 𝑞
P3: 𝑝 → 𝑟
Conclusión: 𝑟

P4: p MPP en P 2 Y P 3
P5: q MTT en P2
P6: r S en P3