Tarea 4

Pensamiento Lógico Y Matemático

Marcial Yesid Cuadro Monterrosa

Universidad Nacional Abierta y a Distancia

Facultad de Ciencias de la Salud
Tecnología En Radiología e Imágenes Diagnosticas
2020
 Ejercicio 2

Expresión simbólica:

[(𝑝⟶𝑞)∧( 𝑞 ⟶𝑟) ∧ (∼r)] ⟶(∼p)

Determinación de Premisas:
P1: (𝑝⟶𝑞)
P2: (𝑞 ⟶𝑟)
P3: (∼r)
Conclusión: (∼p)

Desarrollo:

 Proposiciones simples
p: La UNAD es una universidad pública.

q: La UNAD ofrece los programas de ingeniería industrial e ingeniería de software.

r: Me inscribo en la UNAD.

 Razonamiento en lenguaje natural:

Si la UNAD es una universidad pública, entonces la Unad ofrece loas programas de

ingeniería industrial e ingeniería de software. Si la UNAD ofrece los programas de
ingeniería industrial e ingeniería de software, entonces me inscribo en la UNAD. Si no me
inscribo en la UNAD, entonces la UNAD no es una universidad pública.

Generar la tabla de verdad manualmente:

 Resultado de la tabla de verdad: TAUTOLOGÍA

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

leyes de inferencia:
Premisas:
P1: (𝑝⟶𝑞)
P2: (𝑞 ⟶𝑟)
P3: (∼r)
Conclusión: (∼p)

Modus Tollens
A⟶B= 𝑞 ⟶𝑟 A⟶B= 𝑝⟶𝑞
∼A=∼r ∼B=∼𝑞
∴∼A=∼ 𝑞 ∴∼A=∼p
P4 = ∼ 𝑞 Modus Tollens (2,3) P5 = ∼p Modus
Tollens (1,4)