TAREA 1.

METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

GRUPO: 200611C_1141

YURY MARBELL PAEZ BERMUDEZ

Tutor: ELKIN RICARDO LAVERDE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

BOGOTA D.C.
2022
 INTRODUCCION
Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no amabas. La
proposición es un elemento fundamental de la lógica matemática. De acuerdo a lo descrito
anteriormente, se realiza este trabajo con el fin de demostrar, de forma practica la realización y
solución de una proposición, así mismo, diferenciar su clasificación.
EJERCICIO 1: PROPOSICIONES SIMPLES

D. p: La Ingeniería Industrial tiene aplicaciones en la ciencia

q: La ingeniería Industrial tiene variedad de campos de acción

r: La Ingeniería Industrial sólo se ocupa de la optimización del uso de recursos humanos

 LENGUAJE SIMBOLICO

(𝑝↔𝑞)∨(𝑞→ ∼𝑟)

 LENGUAJE NATURAL

SI Y SOLO SI La Ingeniería Industrial tiene aplicaciones en la ciencia ENTONCES La

ingeniería Industrial tiene variedad de campos de acción. O La Ingeniería Industrial tiene
aplicaciones en la ciencia ENTONCES La Ingeniería Industrial NO sólo se ocupa de la
optimización del uso de recursos humanos.

 TABLA MANUAL

𝒑 𝒒 𝒓 𝑝↔𝑞 ∼𝒓 𝒒→∼𝒓 (𝑝↔𝑞)∨(𝑞→ ∼𝑟)

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

 SE CLASIFICA COMO CONTINGENCIA

 TABLA DE VERDAD SIMULADOR UNAD

EJERCICIO 2: IDENTIFICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA

 EXPRESION SIMBOLICA

r∨q ¬r→q s∧t

¬q q→¬t
r ¬r → ¬ t t

➢ LEY DE INFERENCIA DE LA EXPRESIÓN:

➢ PROPOSICIONES SIMPLES:

➢ LENGUAJE NATURAL:

EJERCICIO 3: APLICACIÓN DE LAS REGLAS DE LA INFERENCIA LÓGICA

➢ ARGUMENTO:

➢ LENGUAJE SIMBÓLICO:

➢ LEY DE INFERENCIA APLICADA

 Conclusión