Ejercicio 4.

E. Expresión simbólica: [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

Premisas:
P1: p v q
P2: p → r
P3: q→ r
P4: ∼q

Conclusión: r ∧ p

➢ Definir las proposiciones simples:

p: la Unad permite estudiar de forma autónoma
q: Felipe estudia un programa a distancia
r: Juliana es egresada de la mejor universidad

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

La Unad permite estudiar de forma autónoma o Felipe estudia un programa a distancia y La
Unad permite estudiar de forma autónoma. La unad permite estudiar de forma autónoma
entonces juliana es egresada de la mejor universidad y Felipe estudia un programa a
distancia entonces juliana es egresada de la mejor universidad y Felipe no estudia un
programa a distancia entonces juliana es egresada de la mejor universidad y La unad
permite estudiar de forma autónoma.

➢ Generar una tabla de verdad manualmente a partir del lenguaje simbólico

[(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

p q r ∼q p v q p → (p v q) q→ r (q→ r) ∧ ∼q r∧p (q→ r) ∧ (p v q) ∧ (p →

r ∧ (p → ∼q] → (r r) ∧ (q→ r) ∧
r) ∧ p) ∼q] → (r ∧ p)

V V V F V V V V F V F V
V V F F V V V F F F F V
V F V V V V V V V V V V
V F F V V F F V V F F V
F V V F V V V V F F F V
F V F F V V V F F F F V
F F V V F V F V V F F V
F F F V F V F V V F F v
Generar la tabla de verdad a través del simulador Lógica UNAD

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

Expresión simbólica: [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

Premisas:
1. P1: p v q
2. P2: p → r

3. P3: q→ r
4. P4: ∼q

Conclusión: r ∧ p
___________________________

5. P5: p (TP). en p1 y p4: pvq TOLLENDO PONENS

∼q
_______
p
6. P6: r (PP) en p2 y p5 : p → r MODUS PONENDO PONENS
P
_____
r

7. P7: q (TT) en p3 y p6: q→ r MODUS TOLLENDO TOLLENS

r
_______
q