Ejercicio 3: Problemas de aplicación:

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

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

 Proposiciones simples: (se define cada proposición simple del argumento,

siempre en afirmativo y con letras en minúscula):

p: En la UNAD existen estudiantes de diversas escuelas

q: Facultades denominadas ECISA, ECSAH, ECBTI

r: Pertenecen a un programa específico.

s: Trabajan de lunes a sábado

 Razonamiento en lenguaje natural: (A partir de las proposiciones simples

anteriores y el lenguaje simbólico dado en el ejercicio, se construye la expresión en

lenguaje formal o natural):

En la UNAD existen estudiantes de diversas escuelas o facultades que se

conocen como ECSAH, ECBTI, ECISA, y cada uno de estos estudiantes pertenecen a un
 programa específico. A la vez es falso que estas facultades que se conocen como

ECSAH, ECBTI, ECISA etc. estén disponibles únicamente a estudiantes antiguos

incluso a estudiantes que pertenecen a un programa específico. No obstante, en la

UNAD existen estudiantes que dejan sus trabajos para última hora porque trabajan de

lunes a sábado. Por lo tanto, estos estudiantes que trabajan de lunes a sábado pueden

tener un bajo rendimiento académico.

 Generar la tabla de verdad manualmente:

p q r s (q˄r) ¬(q˄r) [(p˅(q˄r) (p→s) ¬(q˄r)˄(p→s) [(p˅(q ˄ r)) ˄¬ (q ˄ r)˄(p→s)] [(p˅(q ˄ r))˄¬(q ˄ r)˄(p→ s)]→s

V V V V V F V V F F V
V V V F V F V F F F V
V V F V F V V V V V V
V V F F F V V F F F V
V F V V F V V V V V V
V F V F F V V F F F V
V F F V F V V V V V V
V F F F F V V F F F V
F V V V V F V V F F V
F V V F V F V V F F V
F V F V F V F V V F V
F V F F F V F V V F V
F F V V F V F V V F V
F F V F F V F V V F V
F F F V F V F V V F V
F F F F F V F V V F V
 Resultado de la tabla de verdad: TAUTOLOGÍA.

 Generar la tabla de verdad con el simulador Lógica UNAD

  Leyes de inferencia: (Mediante la aplicación de las leyes de inferencia,

demuestre la validez del argumento, recuerde que para aplicar leyes de inferencia debe

haber obtenido como resultado una tautología en la tabla de verdad)

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

P4: 𝑝 (P1 – P2)

Silogismo Disyunto
𝑝 ∨ (𝑞∧𝑟)
¬(𝑞∧𝑟)
𝑝

P5: 𝑠 (P3 – P4)

Modus Ponens
𝑝→𝑠
𝑝
𝑠