Ejercicio 2 Letra C

Expresión simbólica:

{[p→(q→r)] Λ (rΛp) Λ (sVq) Λ ¬q} → s Λ (q→r)

Premisas:
P1: p→(q→r)
P2: rΛp
P3: sVq
P4: ¬q

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

 Definir las proposiciones simples
P: participo en el foro
Q: recibo retroalimentación
R: tendré claro el tema
S: tengo buena calificación

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

{[p→(q→r)] Λ (rΛp) Λ (sVq) Λ ¬q} → s Λ (q→r
Si desarrollo los ejercicios entonces, paso la materia entonces tengo buen promedio. Si
tengo buen promedio y desarrollo los ejercicios, soy un profesional exitoso y paso la
materia, y no paso la materia. Entonces soy un profesional exitoso y, paso la materia
entonces tengo buen promedio
 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

p q r s ¬q q→r p→(q→r) (rΛp (sVq) (sVq) Λ sΛ p→(q→r)] p→(q→r)] p→(q→r)] {[p→(q→r)] Λ (rΛp) Λ
¬q (q→r) Λ (rΛp) Λ (rΛp) Λ Λ (rΛp) Λ (sVq) Λ ¬q} → s Λ (q→r)
(sVq) (sVq) Λ ¬q
V V V V F V V V V F V V V F V
V V V F F V V V V F F V V F V
V V F V F F F F V F F F F F V
V V F F F F F F V F F F F F V
V F V V V V V V V V V V V V V
V F V F V V V V F F F V F F V
V F F V V V V F V V V F F F V
V F F F V V V F F F F F F F V
F V V V F V V F V F V F F F V
F V V F F V V F V F F F F F V
F V F V F F V F V F F F F F V
F V F F F F V F V F F F F F V
F F V V V V V F V V V F F F V
F F V F V V V F F F F F F F V
F F F V V V V F V V V F F F V
F F F F V V v F F F F F f F V

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

Premisas:
P1: p→(q→r)
P2: rΛp
P3: sVq
P4: ¬q

Conclusión: sΛ(q→r)

P5: p aplicando simplificación en Premisa 2

P6: (q→r) aplicando Modus Ponendo Ponens en Premisa 1 y Premisa 5
P7: s aplicando Tollendo Ponens en Premisa 3 y Premisa 4
P8: sΛ(q→r) aplicando adjunción en Premisa 7 y Premisa 6