Ejercicio 4 unidad 2_Meilys

Ejercicio 4: Problemas de aplicación.

a. Expresión simbólica: [( p → q)∧(q → ¬r )∧ r ]→ p

Premisas:
P1: p →q
P2: q → ¬r
P3: r

Conclusión: p

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.

p: estudio en la UNAD.

q: podré cumplir mis sueños.

r: soy dedicado con mis estudios.

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

Las proposiciones simples deben ser de autoría de cada estudiante.

Si estudio en la UNAD entonces podré cumplir mis sueños y si cumplo mis sueños
entonces no soy dedicado con mis estudios y soy dedicado con mis estudios. por lo tanto no
estudio 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)∧(q → ¬r )∧ r ]→ p

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

p→r ]q)∧(q → ¬r )∧ r ]→ p
V V V F F V F F F V
V V F F V V V V F V
V F V F F F V F F V
V F F F V F V F F V
F V V V F V F F F V
F V F V V V V V F V
F F V V F V V V V V
F F F V V V V V F V

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

Premisas:
P1: p →q
P2: q → ¬r
P3: r

Conclusión: p

P: 4: p →¬ r SILOGISMO HIPOTÈTICO (SH): P1 Y P2

P: 5: p MODUS TOLLENDO PONENS (TP): P4 Y P3