Métodos para probar la validez de argumentos

Angie Daniela Ibagué Rubiano

Tutora: diana Lorena Tique

Grupo: 200611_72

Universidad Nacional Abierta y a Distancia

Pensamiento lógico Matemático

Programa Psicología
  Ejercicio 4: Problemas de aplicación

{(𝑝→𝑞)∧(𝑞∧¬𝑟)∧(𝑞→𝑟)}→(¬𝑝)
Premisas:

P1:𝑝→𝑞
P2:𝑞∧¬𝑟
P3:𝑞→𝑟

Conclusión: (¬p)

Proposiciones simples:

P: juan estudia deportes

q: juan entrena futbol
r: juan quiere ser un gran deportista

Lenguaje Natural:

Si juan estudia deportes entonces juan entrena futbol. Juan entrena futbol o por lo tanto juan quiere ser
un gran deportista. Juan entrena futbol entonces juan quiere ser un gran deportista. Por lo tanto juan
estudia deportes.
-Tabla manual de verdad
- Simulador unad
  Demostración de la validez del argumento mediante las Leyes de Inferencia:

P 1: 𝑝→𝑞

P2: 𝑞∧¬𝑟

P3: 𝑞→𝑟

Conclusión: ¬ p

4. p→r (SH 1,2)

5. ¬p (TT 3,4)