TALLER 4

MÉTODOS PARA PROBAR LA VALIDEZ.

PRESENTADO POR:

DANYELYS NAYETH CASTRO

GRUPO: 90004A_612

TUTOR:

JHONNY ALIRIO BLANQUICETT

UNAD

UNIVERSIDAD NACIONAL ABIERTA Y A DISTACIA

09 DE JUNIO DE 2019
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica
a. Si trabajo entonces tendré dinero. No tengo dinero.
Desarrollo

Conclusión: No trabajo

Ley de inferencia aplicada: Modus Tollendo Tellens (MT)

Lenguaje simbólico: 𝑝⟹𝑞

¬𝑞 ⟹ ¬𝑝

𝑝 = trabajo ∧ 𝑞 = "𝑡𝑒𝑛𝑑𝑟𝑒 𝑑𝑖𝑛𝑒𝑟𝑜"

Ejercicio 3: Razonamiento Deductivo e Inductivo

a. Argumento: Hace un tiempo, Juan, Miguel y Alejandro que son

amigos, le prestaron dinero a José, él no les pagó; ahora
nuevamente José le pide a Miguel que le haga un préstamo,
inmediatamente Miguel asume que no le va pagar ese dinero.

Desarrollo

Tanto el razonamiento inductivo como el deductivo son estrategias de

razonamiento lógico, el primero utiliza premisas particulares para llegar a
una conclusión general, y el segundo usa principios generales para llegar
a una conclusión específica.

Argumentación: El razonamiento utilizado es el inductivo, ya que, Miguel

asume que José no va a pagar el préstamo por un razonamiento inductivo,
partió de premisas particulares teniendo en cuenta que la primera vez no
les cancelo la deuda, asume que no le va a volver a pagar

Ejercicio 3: Problemas de aplicación

Expresión simbólica:

a. [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟

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

 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.
r: José aspira a la rectoría
q: es estudiante de la UNAD
s: no obtiene el titulo
p: estudia administración de empresas

𝑟 → ¬𝑞 ∶ 𝑗𝑜𝑠𝑒 𝑎𝑠𝑝𝑖𝑟𝑎 𝑎 𝑙𝑎 𝑟𝑒𝑐𝑡𝑜𝑟𝑖𝑎 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑛𝑜 𝑒𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒 𝑑𝑒 𝑙𝑎 𝑈𝑁𝐴𝐷

𝑝 ∨ 𝑠 ∶ 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑑𝑒 𝑎𝑑𝑚𝑖𝑛𝑖𝑠𝑡𝑟𝑎𝑐𝑖𝑜𝑛 𝑑𝑒 𝑒𝑚𝑝𝑟𝑒𝑠𝑎𝑠 𝑜 𝑛𝑜 𝑜𝑏𝑡𝑖𝑒𝑛𝑒 𝑒𝑙 𝑡𝑖𝑡𝑢𝑙𝑜
𝑞 ∧ 𝑝 ∶ 𝑒𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒 𝑑𝑒 𝑙𝑎 𝑈𝑁𝐴𝐷 𝑦 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑎𝑑𝑚𝑖𝑛𝑖𝑠𝑡𝑟𝑎𝑐𝑖𝑜𝑛 𝑑𝑒 𝑒𝑚𝑝𝑟𝑒𝑠𝑎𝑠
 Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría
de cada estudiante.
Si José aspira a la rectoría entonces no es estudiante de la
UNAD, y estudia administración de empresas o no obtiene el titulo
y es estudiante de la UNAD y estudia administración de empresas
entonces no aspira a la rectoría
 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
 (𝑟 → ¬𝑞) [(𝑟 → ¬𝑞)
p q R s ¬𝑞 ¬r 𝑟 → ¬𝑞 𝑝∨ 𝑠 𝑞∧ 𝑝 (𝑝 ∨ 𝑠) ∧ (𝑝 ∨ 𝑠) ∧ (𝑝 ∨ 𝑠)
∧ (𝑞 ∧ 𝑝) ∧ (𝑞 ∧ 𝑝) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟

V V V V F F F V V V F V
V V V F F F F V V V F V
V V F V F V V V V V V V
V V F F F V V V V V V V
V F V V V F V V F F F V
V F V F V F V V F F F V
V F F V V V V V F F F F
V F F F V V V V F F F F
F V V V F F F V F F F V
F V V F F F F F F F F V
F V F V F V V V F F F F
F V F F F V V F F F F F
F F V V V F V V F F F V
F F V F V F V F F F F V
F F F V V V V V F F F F
F F F F V V V F F F F F
RESULTADOS DE LA TABLA: Contingencia

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

inferencia lógica
[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟

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

P5: 𝑞 simplificación de la premisa 3

P6: ¬𝑟 MTT Premisas 1,5