Ejercicio 2: Métodos para probar la validez de un argumento

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

argumento para el desarrollo del ejercicio 2.

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

Premisas:
P1: 𝑝 → 𝑠
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞

Conclusión: 𝑠 ∧ 𝑟

 Definir las proposiciones simples

p: keidis estudia pedagogía

q: la unad otorga becas por buenos puntajes

r: keidis estudia en la unad

s: obtiene buenos puntajes

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

Si keidis estudia pedagogía entonces obtiene buenos puntajes y si la unad otorga beca por
buenos puntajes, entonces keidis estudia en la unad y keidis estudia pedagogía y la unad le
otorga beca por buenos puntajes, por lo tanto obtiene buenos puntajes y keidis estudia en la
unad
 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 (𝒑 → 𝒒) (𝒒 → 𝒓) [(𝒑 → 𝒔) ∧ (𝒒 → 𝒓) (𝒑 ∧ 𝒒) [(𝒑 → 𝒔) ∧ (𝒒 → 𝒓) (𝒔 ∧ 𝒓) [(𝒑 → 𝒔) ∧ (𝒒 → 𝒓)

∧ (𝒑 ∧ 𝒒)] ∧ (𝒑 ∧ 𝒒)] ⟶ (𝒔 ∧ 𝒓)

V V V V V V V V V V V

V V V F F V F V F F V

V V F V V F F V F F V

V V F F F F F V F F V

V F V V V V V V F V V

V F V F F V F F F F V

V F F V V V V F F F V

V F F F F V F F F F V

F V V V V V V F F V V

F V V F V V V F F F V

F V F V V F F F F F V

F V F F V F F F F F V

F F V V V V V F F V V

F F V F V V V F F F V

F F F V V V V F F F V

F F F F V V V F F F V

Es tautología