TAREA 2

METODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

ANA MILENA VALENCIA IGLESIA

CARLOS MAURICIO SALAS (TUTOR)

GRUPO: 90004_494

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONOMICAS Y DE NEGOCIOS (ECACEN)

SANTA MARTA

05-04-2019
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:

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

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

Conclusión: 𝑟 ∨ 𝑞

 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, ejemplo:
Premisas simples

P: Ana estudia administracion de empresas

q: Ana hace parte del grupo de investigacion

r: El grupo de investigacion lo conforman estudiantes de ECANCEN

 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.
Lenguaje Natural

Si Ana estudia administracion de empresas entonces el grupo de investigacion no lo

conforman estudiantes de ECACEN, si Ana hace parten del grupo de investigacion
entonces Ana estudia administracion de empresas, el grupo de investigacion lo
conforman estudiantes de ECACEN y Ana hace parte del grupo de investigacion. Por lo
tanto el grupo de investigacion lo conforman estudiantes de ECACEN o Ana hace parte
del grupo de investigacion.
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos
Simulador Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de
acceso al recurso)
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

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

V V V F F V V V F V
V V F V V V F V F V
V F V F F V F V F V
V F F V V V F F F V
F V V F V F V V F V
F V F V V F F V F V
F F V F V V F V F V
F F F V V V F F F V

 Podemos observar una Tautología en la tabla de verdad

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

lógica.
[(𝑝 → ¬𝑟) ∧ (𝑞 → 𝑝) ∧ (𝑟 ∧ 𝑞)] → (𝑟 ∨ 𝑞)]
P1: 𝑝 → ¬𝑟
P2: 𝑞 → 𝑝
P3: 𝑟 ∧ 𝑞
Conclusión: 𝑟 ∨ 𝑞
P4: r, simplificación (p3)
P5: q, simplificación (p4)
P6: 𝑟 ∨ 𝑞, adición (p3, p4)