Ejercicio 2: Identificación de las reglas de la inferencia lógica

-Nombrar la Ley de inferencia que representa cada expresión simbólica.

Modus Ponendo Ponens (MPP)

Modus Tollendo Tollens (MTT)

Silogismo Hipotético (SH)

-Definir las proposiciones simples, tendrá la libertad de definirlas bajo una
descripción basada en un contexto, el que se solicita es un contexto académico
(puede usar las mismas proposiciones simples en cada una de las 3 expresiones
simbólicas seleccionadas), ejemplo:

-Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje

simbólico.
Total de premisas de los tres ejercicios
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública
r: La UNAD es una Universidad económica
s: La UNAD es una Universidad Pública

1- r: La UNAD es una Universidad económica

s: La UNAD es una Universidad Pública

Lenguaje natural:
Si La UNAD es una Universidad económica, La UNAD es una universidad Pública.
La UNAD es una Universidad económica, por tanto, La UNAD es una Universidad
pública.
2- P: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública

Lenguaje natural:
Si Carlos estudia en la UNAD, entonces la UNAD es una Universidad pública.
La UNAD no es una Universidad Pública, por tanto, Carlos no estudia en la UNAD.

3- P: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública
r: La UNAD es una Universidad económica

Lenguaje natural:
Si Carlos estudia en la UNAD, la UNAD es una Universidad Pública.
Si La UNAD es una Universidad Pública, la UNAD es una Universidad económica.
Por lo tanto, si Carlos estudia en la UNAD, entonces La UNAD es una Universidad
económica.