Ejercicio 4: Problemas de aplicación

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 4:

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

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

1. Proposiciones simples
 p: Yuly estudia nocturno en la UNAD
 q: Yuly estudia Presencial en la UNAD
 r: Yuly estudia a distancia en la UNAD

2. Razonamiento en lenguaje natural

Si Yuly estudia nocturno en la UNAD entonces Yuly no estudia

Presencial en la UNAD y Yuly estudia Presencial en la UNAD o Yuly no
estudia a distancia en la UNAD y Yuly estudia a distancia en la UNAD
entonces Yuly no estudia nocturno en la UNAD.

ELABORO: YULY RESTREPO – ADMINISTRACION DE EMPRESAS

 3. Tabla Natural
[(𝐩 → ¬𝐪) ∧ (𝐪 ∨ ¬𝐫) ∧ 𝐫] → ¬𝐩

p q r ¬q ¬r ¬p (p→¬q) (q∨¬r) (p→¬q)∧(q∨¬r) [(p→¬q)∧(q∨¬r)∧r] [(p→¬q)∧(q∨¬r)∧r]→¬p

V V V F F F F V F F V
V V F F V F F V F F V
V F V V F F V F F F V
V F F V V F V V V F V
F V V F F V V V V V V
F V F F V V V V V F V
F F V V F V V F F F V
F F F V V V V V V F V
 Tabla con Simulador UNAD

ELABORO: YULY RESTREPO – ADMINISTRACION DE EMPRESAS

 4. leyes de inferencia:
[(𝐩 → ¬𝐪) ∧ (𝐪 ∨ ¬𝐫) ∧ 𝐫] → ¬𝐩
 P1: (𝐩 → ¬𝐪)
 P2: (𝐪 ∨ ¬𝐫)
 P3: ∧ 𝐫
________________
¬𝐩

Solución
Premisas:
 P1: p → ¬q
 P2: q ∨ ¬r
 P3: r

ELABORO: YULY RESTREPO – ADMINISTRACION DE EMPRESAS

 Conclusión: ¬p

Solución

Para resolver este ejercicio, aplique:

 P4: ¬q Modus tollendo Ponens entre P2 y P3

q v ¬𝐫
r
______
¬𝐪

 P5: ¬p Modus tollendo Tollens entre P1 y P4

𝐩 → ¬𝐪
¬𝐪
________
¬𝐩

ELABORO: YULY RESTREPO – ADMINISTRACION DE EMPRESAS