TAREA 1 – MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

GRUPO:
90004_319

TUTORA:
GLORIA PATRICIA AGUDELO TAPIERO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

ESCUELA DE CIENCIAS AGRÍCOLAS, PECUARIAS Y DEL MEDIO

AMBIENTE

CURSO: LOGICAMATEMATICA

2020
 Ejercicio 2: Identificación de las reglas de la inferencia lógica
B. Expresión simbólica

r→s pVq p
s→t ¬p q

r→t q p∧q

A partir del argumento en lenguaje simbólico deberá dar respuesta a los siguientes ítems:
➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

 Ley de inferencia de las expresiones:

a. Silogismo hipotético
b. Modus Tollendo Ponens
c. Adjunción

 Proposiciones Simples:

p: Carlos estudia en la UNAD.

q: La UNAD es una Universidad Pública.
r: La UNAD da la carrera que Carlos quiere estudiar.
s: Si Carlos tiene que pagar.
t: Carlos no estudia lo que quiere.

 Lenguaje Natural
Carlos estudia en la UNAD, entonces La UNAD es una Universidad Pública o la UNAD da
la Carrera que Carlos quiere estudiar, si Carlos tiene que pagar entonces la UNAD no es
una Universidad Pública, si Carlos no estudia lo que quiere entonces la UNAD no da la
Carrera que Carlos quiere estudiar, si Carlos estudia en la UNAD y Carlos no estudia lo que
quiere, entonces la UNAD es una Universidad Pública.