Ejercicio 3 Problemas de aplicación

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 3:

Expresión simbólica:[(r→¬ q)^(pVs)^(q^p)]→¬ r

Lenguaje Natural:

p: Luis estudia ingeniería industrial

q: Tiene inscrito el curso dibujo de ingeniería

r: Luis Asiste a laboratorio presencial

s: Saca buenas notas

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

Luis asiste a laboratorio presencial entonces no tiene

inscrito el curso dibujo de ingeniería y Luis estudia
ingeniería industrial así como saca buenas notas
Sin embargo tiene inscrito el curso dibujo de ingeniería y
estudia ingeniería industrial. Entonces no asiste a
laboratorio presencial.
Tabla generada por el simulador
 TABLA DE VERDAD GENERADA MANUALMENTE
[(r→¬q)^(pVs)^(q^p)]→
p
q r s ¬q ¬r r→¬q pVs q^p (r→¬q)^(pVs) [(r→¬q)^(pVs)^(q^p)] ¬r
V V V V F F V V V V V V
V V V F F F V V V V V V
V V F V F V V V V V V V
V V F F F V V V V V V V
V F V V V F V V F V F V
V F V F V F V V F V F V
V F F V V V V V F V F V
V F F F V V V V F V F V
F V V V F F F V F F F V
F V V F F F F F F F F V
F V F V F V V V F V F V
F V F F F V V F F F F V
F F V V V F V V F V F V
F F V F V F V F F F F V
F F F V V V V V F V F V
F F F F V V V F F F F V

TAUTOLOGICA

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

inferencia lógica:

p1: r→¬q

p2: pVs

p3: q^p

Conclusión: ¬r

p4: p aplicando simplificación en p2

p5: q aplicando MPP en p1 y p4

p6: ¬r aplicando MTT en p3 y p5