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

Descripción del ejercicio:

A. Expresión simbólica:
[(𝑝 → 𝑠) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] ⟶ (𝑠 ∧ 𝑟)

Premisas:
P1: 𝑝 → 𝑠
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞

Conclusión: 𝑠 ∧ 𝑟

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: si asisto al refuerzo en el JAG
q: presento la sustentación de la tarea N° 4
r: tendré una mejor nota en pensamiento lógico matemático
s: preparo la tarea N°4

 Remplazar las variables expresadas simbólicamente y llevarlas al

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

Si asisto al refuerzo en el JAG entonces preparo la tarea N° 4 y presento

la sustentación de la tarea N° 4 entonces tendré una mejor nota en
pensamiento lógico matemático y si asisto al refuerzo en el JAG y
presento la sustentación de la tarea N° 4 entonces preparo la tarea N°4
y tendré una mejor nota en pensamiento lógico matemático
 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 q r (p→s) (q→r) (p→s)^(q→r) (p^q) ((p→s)^(q→r))^(p^q) (s^r) ((p→s)^(q→r)^(p^q))→(s^r)

V V V V V V V V V V V
V V V F V F F V F F V
V V F V V V V F F V V
V V F F V V V F F F V
V F V V F V F V F F V
V F V F F F F V F F V
V F F V F V F F F F V
V F F F F V F F F F V
F V V V V V V F F V V
F V V F V F F F F F V
F V F V V V V F F V V
F V F F V V V F F F V
F F V V V V V F F F V
F F V F V F F F F F V
F F F V V V V F F F V
F F F F V V V F F F V

RESULTADO: TAUTOLOGIA

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

inferencia lógica
Premisas:
P1: 𝑝 → 𝑠
P2: 𝑞 → 𝑟
P3: 𝑝 ∧ 𝑞

Conclusión: 𝑠 ∧ 𝑟

P4: 𝑝 𝑆 . 𝑃3 𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑐𝑖ó𝑛
P5: 𝑠 𝑃𝑃. 𝑃1, 𝑃4 𝑀𝑜𝑑𝑢𝑠 𝑃𝑜𝑛𝑒𝑛𝑑𝑜 𝑃𝑜𝑛𝑒𝑛𝑠
P6: 𝑞 𝑆. 𝑃3 𝑆𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑐𝑖𝑜𝑛
P7: 𝑟 𝑃𝑃. 𝑃2, 𝑃6 𝑀𝑜𝑑𝑢𝑠 𝑃𝑜𝑛𝑒𝑛𝑑𝑜 𝑃𝑜𝑛𝑒𝑛𝑠
P8: 𝑠∧𝑟 𝐴. 𝑃5, 𝑃7 𝐴𝑑𝑗𝑢𝑛𝑐𝑖ó𝑛