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 ) ∧ ( q → r ) ⋀ ( ¬r ) ] → ( ¬ p )
Premisas:
P1: p →q
P2: q → r
P3: ¬ r
C: ¬ p
P Frank estudia ingeniería en la unad

Q el profesor califica las evaluaciones

R sacare buenas calificaciones

Frank estudia ingeniería industrial entonces el profesor califica las evaluaciones y el profesor
califica las evaluaciones entonces sacare buenas calificaciones y no sacare buenas calificaciones.
por lo tanto Frank no estudia ingeniería en la unad.

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

r )
v v v v v f f V F V
v v f v f v f F F V
v f v f v f f F F V
v f f f v v f F F V
f v v v v f v V F V
f v f v f v v F F V
f f v v v f v V F V
f f f v v v v V v v

P1: p →q p4 = p1 y p2 p5 = p4 y p3
P2: q → r p →q SH p →r MTT
P3: ¬ r q→r ¬r
C: ¬ p p →r ¬p