Ejercicio 3

D. Expresión simbólica: {[(𝑝∧𝑞)→𝑟]∧(𝑞)∧(𝑝)}→𝑟

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

• 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: Leo el libro de pensamiento lógico

q: Hago ejercicios de practica
r: entiendo la materia

• Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Si leo el libro de pensamiento lógico y hago ejercicios de practica

entonces entiendo la materia. Leo el libro de pensamiento lógico y hago
ejercicios entonces entiendo la materia.

• Generar una tabla de verdad con el simulador Lógica UNAD 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 (𝑝∧𝑞) (𝑝∧𝑞)→𝑟 [ (𝑝∧𝑞)→𝑟]∧(𝑞) {[(𝑝∧𝑞)→𝑟]∧(𝑞)∧(𝑝)} {[(𝑝∧𝑞)→𝑟]∧(𝑞)

∧(𝑝)}→𝑟

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

Resultado: Tautología
• Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

{[(𝑝∧𝑞)→𝑟]∧(𝑞)∧(𝑝)}→𝑟

P1: (𝑝∧𝑞)→𝑟
P2:𝑞
P3:𝑝
Conclusión: 𝑟

P1: p→𝑟 Aplique ley de simplificación P1: (𝑝∧𝑞)→𝑟 = p →𝑟

P3: 𝑝 Modus Ponens P1 y P3
__________ Conclusión es r
𝑟