Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de

Conocimiento (Unidad 3).
Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 3: ejercicio C

C. 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.

p: ir en motocicleta
q: aumentar la velocidad caminando
r: llegar temprano a la Universidad
s: pierdo el examen
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Las proposiciones simples deben ser de autoría de cada estudiante

P1: 𝑝 ∨ (𝑞 ∧ 𝑟) = Ir en motocicleta o aumento la velocidad caminando y llegar temprano a

la universidad

P2: ~(𝑞 ∧ 𝑟) = no aumentar la velocidad, y llegar temprano a la universidad

P3: 𝑝 → 𝑠 = ir en motocicleta entonces pierdo el examen

Conclusión s
 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

p q r s [(𝑝 ∨ (𝑞 ∧ 𝑟)) ∧ ~(𝑞 ∧ 𝑟) ∧ (𝑝 → 𝑠)] → 𝑠

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

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

lógica.
Como resultado una tautología
Premisas
P1: 𝑝 ∨ (𝑞 ∧ 𝑟)
P2: ~(𝑞 ∧ 𝑟)
P3: 𝑝 → 𝑠
Conclusión: 𝑠
P4: s