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

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

natural.

e. Expresión simbólica: [ ( p → q) ⋀( q → r)⋀ ( p ∧ s ) ] → ( r )

Premisas:
P1: p →q
P2: q → r
P3: p ∧ s

Conclusión: r

P: Nataly estudia psicología

q: asiste a clases los lunes
r: tiene inscrito el curso PLM
s: Nataly está en quinto semestre

Nataly estudia psicología entonces asiste a clases los lunes sin embargo asiste a
clase los lunes además tiene inscrito el curso PLM y Nataly estudia psicología sin
embargo Nataly está en quinto semestre. Por tanto, tiene inscrito el curso PLM.

*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)
 • 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 ∧s ) ( p → q)⋀(q → r ) ∧sq)
( p → q) ⋀(q → r ) ⋀[ (( pp→ ) ⋀( q → r)⋀ ( p ∧ s ) ] →
v v v v v v v v v v
v v v f v v f v f v
v v f v v f v f f v
v v f f v f f f f v
v f v v f v v f f v
v f v f f v f f f v
v f f v f v v f f v
v f f f f v f f f v
f v v v v v f v f v
f v v f v v f v f v
f v f v v f f f f v
f v f f v f f f f v
f f v v v v f v f v
f f v f v v f v f v
f f f v v v f v f v
f f f f v v f v f v

 Resultado de la tabla de verdad: TAUTOLOGÍA

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

inferencia lógica
Mediante la aplicación de las leyes de inferencia, demuestre la validez del argumento,
recuerde que para aplicar leyes de inferencia debe haber obtenido como resultado una
tautología en la tabla de verdad

Premisas:
P1: p →q
P2: q → r
P3: p ∧ s
------------------------------------------------------------------------
Conclusión: r

P4: p → r silogismo hipotético P1,P2

P5: p (ley simplificación 2) P3

P6: s (ley simplificación 2) P3

P7: r Modus Ponendo Ponens MPP P4,P5