Solución del ejercicio 2 letra E.

 E. Expresión simbólica:

[(𝑝 → 𝑞)˄(𝑞 → 𝑟)˄(𝑝 ∨ 𝑞)] → 𝑟

Premisas:
P1: 𝒑 → 𝒒 estudia lógica matemática entonces pones atención en clases.
P2: 𝒒 → 𝒓 si prestan atención en clases entones apruebas la materia de lógica matemática.
P3: 𝒑 ∨ 𝒒 estudia lógica matemática o prestan atención en clases.
Conclusión: r aprueba la materia de lógica matemática.

 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: estudias lógica matemática.

q: prestas atención en clases.
r: apruebas la materia de lógica matemática.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural.

Si Estudia lógica matemática y prestas atención en clases entonces apruebas la materia de

lógica matemática
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
  Generar una tabla de verdad manualmente a partir del lenguaje
simbólico

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica

[(𝑝 → 𝑞)˄(𝑞 → 𝑟)˄(𝑝 ∨ 𝑞)] → 𝑟

1 2 3

P1: (𝒑 → 𝒒) MODUS PONENS

P2: (𝒒 → 𝒓) MODO PONENS
P3: (𝒑 ∨ 𝒒)
r
p4: