Unidad 2: Tarea 2 - Métodos para probar la validez de argumentos.

Presentado por

Presentado a
Andrés Carmelo Vazco

Lógica Matemática

Universidad Nacional Abierta y a Distancia (UNAD)

Octubre, 2019 II
Ejercicio 4: Problemas de aplicación

[(𝑝→¬𝑞)∧(𝑞∨¬𝑟)∧𝑟]→¬𝑝

Premisas
P1: 𝑝→¬𝑞
P2: 𝑞∨¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

Proposiciones simples:
𝑝: Juan es un buen estudiante
¬ 𝑝: Juan no es un buen estudiante

𝑞: Juan trabaja duro para sacar las mejores notas

¬𝑞: Juan no trabaja duro para sacar las mejores notas

𝑟: Juan participa en los foros a tiempo

¬𝑟: Juan no participa en los foros a tiempo

Razonamiento en lenguaje natural:

Juan es un buen estudiante entonces Juan no trabaja duro para sacar las mejores notas.
Juan trabaja duro para sacar las mejores notas o Juan no participa en los foros a tiempo.
Juan participa en los foros a tiempo. Por lo tanto Juan no es un buen estudiante.

Generar la tabla de verdad manualmente:

El número de filas de la tabla es 2n, donde n es el número de proposiciones simples, en este

caso p, q y r es decir n=3.

p q r ¬ ¬ ¬ 𝑝→¬ 𝑞∨¬ [(𝑝→¬𝑞)∧(𝑞∨¬ [(𝑝→¬𝑞)∧(𝑞∨¬𝑟) [(𝑝→¬𝑞)∧(𝑞∨¬𝑟)∧𝑟]

𝑞 𝑟 𝑞 𝑟 𝑟) ] ∧𝑟 →¬𝑝
𝑝
V V V F F F F V F F V
V V F F F V F V F F V
V F V F V F V F F F V
V F F F V V V V V F V
F V V V F F V V V V V
F V F V F V V V V F V
F F V V V F V F F F V

Resultado de la tabla de verdad: TAUTOLOGÍA

Generar la tabla de verdad con el simulador Lógica UNAD

Premisas:
P1: 𝑝→¬𝑞
P2: 𝑞∨¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

P4: q Simplificación (2)

P5: ¬𝑝 MTT (1)