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:

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

Premisas
P1: (q → r )
P2: (r → p)
P3: ( ¬ p ∧ s )

Conclusión: (¬ q ∧ s)

 Definir las Proposiciones simples:

 q = Estudió Radiolodía
 r = Soy muy dedicado
 p = Saco buenas calificaciones
 s = Repruebo los cursos

• Razonamiento en lenguaje natural

Estudió Radiología entonces soy muy dedicado. Y si soy muy dedicado, entonces saco
buenas calificaciones y si no saco buenas calificaciones, entonces repruebo los cursos,
 Generar la tabla de verdad manualmente

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

∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧ ∧

p q r s ¬p ¬q (q→r) (r→p) ¬p s (¬q s) (q→r) (r→p) [(q→r) (r→p) (¬p s)] [(q→r) (r→p) (¬p s)]→(¬q s)
V V V V F F V V F F V F V
V V V F F F V V F F V F V
V V F V F F F V F F F F V
V V F F F F F V F F F F V
V F V V F V V V F V V F V
V F V F F V V V F F V F V
V F F V F V V V F V V F V
V F F F F V V V F F V F V
F V V V V F V F V F F F V
F V V F V F V F F F F F V
F V F V V F F V V F F F V
F V F F V F F V F F F F V
F F V V V V V F V V F F V
F F V F V V V F F F F F V
F F F V V V V V V V V V V
F F F F V V V V F 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

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

Premisas
P1: (q→r)
P2: (r→p)
P3: (¬p∧s)
Conclusión: (¬q∧s)
P4: ¬p (S) P3

P5: ¬r TT P2 y P4

P6: s (S) P3

P7 ¬q (TT) P1 y P5

P8 (¬ q ∧ s) (A) P7 y P6