Ejercicio 4: Problemas de aplicación

 A. Expresión simbólica: [ (𝑞 ⟶∼𝑟) ∧ (𝑝 →𝑞)] → (𝑝 ⟶ ∼𝑟)

Premisas:
P1: (𝑞 ⟶∼𝑟)
P2: (𝑝 →𝑞)
Conclusión: (𝑝 ⟶ ∼𝑟)

 Proposiciones simples:

p: Daniel estudia en Ingeniería en sistemas.

q: Daniel reprueba una materia.

r: Daniel tiene tiempo para estudiar.

∼r: Daniel tiene tiempo para estudiar.

 Lenguaje natural:

Si Daniel reprueba una materia, entonces Daniel no tiene tiempo para estudiar. Y si

Daniel estudia en Ingeniería en sistemas, entonces Daniel reprueba una materia. Por lo tanto, si

Daniel estudia en Ingeniería en sistemas, entonces Daniel no tiene tiempo para estudiar.

 Tabla de verdad manual:

2n= 24 2x2x2x2X2=𝑞 ⟶∼𝑟
16 𝑝 𝑞 𝑞 ⟶∼𝑟 ∧ 𝑝 𝑞 𝑝 ⟶ ∼𝑟 𝑞 ⟶∼𝑟 ∧ 𝑝 𝑞 𝑝 ⟶ ∼𝑟

p q r ⌐r ( ) ( → ) [( ) ( → )] ( ) [( ) ( → )] → ( )
V V V F F V F F V
V V V F F V F F V
V V F V V V V V V
V V F V V V V V V
V F V F F F F F V
V F V F F F F F V
V F F V V F F V V
V F F V V F F V V
F V V F F V F V V
F V V F F V F V V
F V F V F V F V V
F V F V F V F V V
F F V F F V F V V
F F V F F V F V V
F F F V F V F V V
F F F V F V F V V
 ⮚ Tabla de verdad simulador:

TAUTOLOGÍA

⮚ Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Premisas:
P1: (𝑞 ⟶∼𝑟)
P2: (𝑝 →𝑞)
Conclusión: (𝑝 ⟶ ∼𝑟)

𝑝→𝑞
𝑞 → ∼𝑟
_______
∴ 𝑝 → ∼𝑟

P4: 𝑝 → ∼𝑟……..Silogismo hipotético en P2 conclusión