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

 Expresión simbólica:

r→s
s→t
r→t
 Ley de inferencia de la expresión: Silogismo Hipotético (HS)

 Proposiciones simples:

r: Angela Estudia en la UNAD

s: Angela estudia de manera virtual
t: La UNAD es una universidad abierta y a distancia

 Lenguaje Natural:

Si angela estudia en la UNAD entonces Angela estudia de manera virtual, Si

Angela estudia de manera virtual entonces la UNAD es una universidad
abierta y a distancia por lo tanto Si Angela estudia en la UNAD entonces la
UNAD es una universidad abierta y a distancia.

 Expresión simbólica:

p˅q
~p
q
 Ley de inferencia de la expresión: Modus Tollendo Ponens (TP)

 Proposiciones simples:

p: Angela estudia en la UNAD

q: Angela estudia de manera virtual

 Lenguaje Natural:

Angela estudia en la UNAD o Angela estudia de manera virtual, Angela no

estudia en la UNAD, por lo tanto, Angela estudia de manera virtual.
 Expresión simbólica:

p
q
p˄q

 Ley de inferencia de la expresión: Adjunción (A)

 Proposiciones simples:

p: Angela estudia en la UNAD

q: Angela estudia de manera virtual

 Lenguaje Natural:

Angela estudia en la UNAD y Angela estudia de manera virtual