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

Descripción del ejercicio:

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:
{[p→(q→r)]Λ(rΛp)Λ(sVq)Λ¬q}→sΛ(q→r)}

Premisas:
P1: 𝑝 → (𝑞 → 𝑟)]
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

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.
 p: realizo mis trabajos a tiempo
 q: estudio para evaluaciones finales
 r: debato las participaciones de mis compañeros
 s: seré la mejor de mi grupo

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

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

Si realizo mis trabajos a tiempo entonces estudio para mis evaluaciones finales

entonces debato las participaciones de mis compañeros; y si debato las

participaciones de mis compañeros y estudio para las evaluaciones finales ; y si soy

 la mejor de mi grupo o realizo mis trabajos a tiempo, y no realizo mis trabajos a

tiempo; entonces sere la mejor de mi grupo y realizo mis trabajos a tiempo por lo

tanto debato las participaciones de mis compañeros

 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 [s Ʌ [p →
(q (r (s [p → (q→ {[p → (q→ r)] {[p → (q→ r)]Ʌ(r Ʌ
¬ → (q (q→
pqr s → Ʌ V r)]Ʌ(r Ʌ Ʌ (r Ʌ p) Ʌ (s p)Ʌ(s V q)Ʌ(¬q)} →
q (q→ → r)]Ʌ(r
r) p) q) p)Ʌ (s V q) V q) Ʌ (¬q)} [s Ʌ (q → r)]
r)] r)] Ʌ p)
vvvvf v v v v v v v f v
vvvf f v v v v f v v f v
vvf vf f f v f f f f f v
vvf f f f f v f f f f f v
vf vvv v v v v v v v v v
vf vf v v v f v f v f f v
vf f vv v f v v v f f f v
vf f f v v f f v f f f f v
f vvvf v f v v v f f f v
f vvf f v f v v f f f f v
f vf vf f f v v f f f f v
f vf f f f f v v f f f f v
f f vvv v f v v v f f f v
f f vf v v f f v f f f f v
f f f vv v f v v v f f f v
f f f f v v f f v f f f f v

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

Premisas:

P1:𝑝 → (𝑞 → 𝑟)

P2: 𝑟 ∧ 𝑝
 P3: 𝑠 ∨ 𝑞

P4: ¬𝑞

Conclusión: 𝑠 ∧ (𝑞 → 𝑟)

P5: s TP (3),(4)

P6: (q → r) TT (1), (2)

P7: 𝑠 ∧ (𝑞 → 𝑟) adjunción (5), (6)