Ejercicio 3: Problemas de aplicación

Expresión simbólica:

[(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Determinación de Premisas:

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

Desarrollo:

 Proposiciones simples:

p: Realizo la traducción de ingles

q: Grabo el video en ingles

r: Recibo una buena nota en el trabajo

 Razonamiento en lenguaje natural:

Si realizo la traducción de inglés Entonces no grabo el video en inglés,

grabo el video de inglés o no recibo una buena nota en el trabajo, recibo
una buena nota en el trabajo.
En conclusión, no realizo la traducción de inglés.

 Generar una tabla de verdad con el simulador Lógica UNAD

a partir del lenguaje simbólico

Es una tautología
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico.

p q r -P -q -r (𝑝→¬𝑞) (𝑞∨¬𝑟) (𝑝→¬𝑞)∧(𝑞∨¬𝑟) [(𝑝→¬𝑞)∧(𝑞∨¬𝑟)∧𝑟] [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

V V V F F F F V F F V
V V F F F V F V F F V
V F V F V F V F F F V
V F F V V V V V V F V
F V V V F F V V V V V
F V F V F V V V V F V
F F V V V F V F F F V
F F F V V V V V V F V

Es una tautología

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

de la inferencia lógica

[(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Premisas:

P1: 𝑝→¬𝑞
P2: 𝑞∨¬𝑟
P3: 𝑟
________________________________________________________
Conclusión: ¬𝑝
p4: p2 + p3 resultado p4 q (TP)

p5: p4 + p1 resultado p5 ¬p (TT)