Ejercicio 4: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento

para el desarrollo del ejercicio 4:

b. Expresión simbólica:

[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

Premisas:
P1: 𝑝 ∨ 𝑞
P2: 𝑞 ⟶∼ 𝑟
P3: ¬𝑟 → 𝑠
P4: ∼ 𝑝
P5: 𝑠 ⟶ 𝑟

Conclusión: 𝑟

 Definir las proposiciones simples

p: Natalia estudia en la UNAD

q: Natalia estudia ingeniería ambiental
r: La UNAD es una universidad privada
s: Natalia participa en todas las webs conferencias

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

Natalia estudia en la UNAD o Natalia estudia ingeniería ambiental, si Natalia estudia ingeniería
ambiental entonces la UNAD no es una universidad privada, si la UNAD no es una universidad
privada entonces Natalia participa en todas las webs conferencias, Natalia no estudia en la
UNAD, Si Natalia participa en todas las webs conferencias entonces la UNAD es una
universidad privada por lo tanto la UNAD es una universidad privada.

 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 (En
Word, Excel o foto del desarrollo manual)

[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

p q r s ∼𝐫 ∼𝐩 (p ∨ q) (q ⟶ (∼ r (𝑠 [(p ∨ q) [(p ∨ q) [(p ∨ q) [(p ∨ q) [(p ∨ q)
∧ (q ⟶ ∧ (q ⟶ ∧ (q ⟶ ∧ (q ⟶ ∧ (q ⟶∼ r)
∼ r) ⟶ s) ⟶ 𝑟) ∼ r) ∼ r) ∼ r) ∼ r)
∧ (∼ r ∧ (∼ r ∧ (∼ r ∧ (∼ r ⟶ s)
⟶ s) ⟶ s) ⟶ s) ∧ (∼ p) ∧ (s ⟶ r)]
∧ (∼ p) ∧ (∼ p) ⟶ (r)
∧ (s
⟶ r)]
V V V V F F V F V V F F F F V

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Resultado de la tabla: tautología

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

[(𝑝 ∨ 𝑞) ∧ (𝑞 ⟶∼ 𝑟) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (∼ 𝑝) ∧ (𝑠 ⟶ 𝑟)] ⟶ (𝑟)

p: Natalia estudia en la UNAD

q: Natalia estudia ingeniería ambiental
r: La UNAD es una universidad privada
s: Natalia participa en todas las webs conferencias

P1: (𝑝 ∨ 𝑞)

P2: (𝑞 ⟶∼ 𝑟)
P3: (∼ 𝑟 ⟶ 𝑠)
P4: (∼ 𝑝)
P5: (𝑠 ⟶ 𝑟)
____________________

conclusión: (𝑟)

P6: 𝑞 MTP 1 y 4
P7: 𝑞⟶s SH 2 y 3
P8: 𝑞⟶ 𝑟 SH 7 y 5
p9: 𝑟 MPP 8 y 6