Ejercicio 4: Problemas de aplicación

Jorge Andres Gomez Pineda

Grupo: 200611_443

Tutor: Marlon Andrés Pineda

Universidad Nacional Abierta y a Distancia

Administración en Salud
2022
 Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

C. Expresión simbólica: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

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

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= La UNAD es una mega universidad virtual y a distancia

 q= El aprendizaje en la UNAD es autónomo
 r= Las personas que trabajan prefieren estudiar en la UNAD

⮚ Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada estudiante, por
lo que de encontrar proposiciones iguales entre estudiantes se considerara
como copia y se tomaran las medidas correctivas estipuladas por la UNAD.

Si la UNAD es una mega universidad virtual y a distancia entonces el aprendizaje en la

UNAD no es autónomo y el apendizaje en la UNAD es autónomo o las personas que
trabajan no prefieren estudiar en la UNAD y las personas que trabajan prefieren
estudiar en la UNAD; por lo tanto el aprendizaje en la UNAD no es autónomo.

⮚ Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En
Word, Excel o foto del desarrollo manual).
p q r (~q) (p→~q) (~r) (qv~r (p→~q)^( (p→~q)^( (~p) (p→~q)^(q v~r)
) q v~r) qv(~r) ^ r ^r)→~p
V V V F F F V F F F V
V V F F F V F F F F V
V F V V V F V F F F V
V F F V V V V V F F V
F V V F V F V V V V V
F V F F V V F V F V V
F F V V V F V F F V V
F F F V V V V V F V V

⮚ Generar la tabla de verdad a través del simulador Lógica UNAD, el paso a paso
para uso del simulador lo podrá encontrar en el anexo 2 (Simulador Lógica
UNAD), ubicado en el entorno de aprendizaje en la carpeta Guía de actividades y
rúbrica de evaluación - Unidad 1- Tarea 1 - Métodos para probar la validez de
argumentos
Es una Tautologia

⮚ Demostración de la validez del argumento mediante las leyes de la inferencia

lógica

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

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

P4: p ˅ q adicion P3
P5: q silogismo disyuntivo P4
P6: p ˄ q adjucion P3 y P4
P7: p simplificación P6