Tarea 1 Métodos para probar la validez de argumentos

CAMILO ANDRES LUNA RUEDA

GRUPO: 200611_2245

Tutor:

NURY MARLY BEDOYA

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Sociales, Artes y Humanidades

PENSAMIENTO LÓGICO Y MATEMÁTICO

Marzo 2022
 Ejercicio 4: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un
argumento para el desarrollo del ejercicio 4:

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

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

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: Mauricio es monitor de lógica matemática
q: Mauricio maneja todos los temas del semestre
r: Mauricio tiene un promedio en lógica matemática de 4,8

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Sí Mauricio es monitor de lógica matemática, entonces no maneja todos los temas

del semestre. Mauricio maneja todos los temas del semestre, o no tiene un promedio
en lógica matemática de 4,8. Mauricio tiene un promedio en lógica matemática de
4,8. Por tanto Mauricio no es monitor de lógica matemática.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
qV (q V ~r) (p→~q) Λ ((q V [(p→~q) Λ ((q V
p q r ~p ~q ~r p→~q
~r Λr ~r)Λ) ~r)Λ)]→~p
v v v f f f f v v 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 f f v
f v v v f f v v v v v
f v f v f v v v f f v
f f v v v f v f f f v
f f f v v v v v f f 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.
 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Premisas:
P1: p →¬ q
P2: q V ¬ r
P3: r
P4: q tollendo ponens en P2 y P3
P5: ¬ p tollendo tollens en P1 y P4