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

E. Expresión simbólica: [(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑

Premisas:

P1: (~𝒑 → 𝒒)

P2: (𝒒 → 𝒓)

P3: (~𝒓)

Conclusión: 𝒑

A partir de la expresión simbólica seleccionada, el estudiante deberá:

• Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción

basada en un contexto, el que se solicita es un contexto académico, ejemplo:

p: Dumar estudia en la UNAD

q: está trabajando en Homecenter.

r: tiene beneficio de descuentos.

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar

proposiciones iguales entre estudiantes se considerara como copia y se tomaran las

medidas correctivas estipuladas por la UNAD.

1
Dumar no estudia en la UNAD si está trabajando en Homecenter y si está trabajando en

Homecenter entonces tiene beneficio de descuentos y no tiene beneficio de descuentos

entonces Dumar estudia en la UNAD

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico (El estudiante encontrará la Guía para el uso de recursos educativos

Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de

acceso al recurso)

2
 • Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o foto del desarrollo manual).

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

v v v f f v v v f v

v v f f v v f f f v

v f v f f v v v f v

v f f f v v v v v v

f v v v f v v v f v

f v f v v v f f f v

f f v v f f v f f v

f f f v v f v f f v

Es una tautología, porque todas son verdaderas.

3
 • Demostración de la validez del argumento mediante las leyes de la inferencia

lógica

[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] ⟶ 𝒑

Premisas:

P1: (~𝒑 → 𝒒)

P2: (𝒒 → 𝒓)

P3: (~𝒓)

Conclusión: 𝒑

Proposición. Negación.
P4: ¬q aplicando MTT en P2 y P3
P ¬p
P5: p aplicando MTT P1 y P4
¬p ¬(¬p) = p