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

Expresión simbólica

a→b
a
b

Proposiciones Simples
a: Milena Estudia Diseño Gráfico en la UNAD
b: Milena está matriculada en el periodo 20-04
Lenguaje Natural
Milena estudia Diseño Gráfico en la UNAD entonces Milena está matriculada en el periodo
20-04. Milena estudia Diseño Gráfico en la UNAD. Por lo tanto, Milena está matriculada
en el periodo 20-04.
Ley de inferencia de la expresión: Modus Ponendo Ponens (pp)

Expresión simbólica

r→s
¬s
¬r

Proposiciones Simples
r: Milena Estudia Diseño Gráfico en la UNAD
s: Milena está matriculada en el periodo 20-04

Lenguaje Natural
Milena estudia Diseño Gráfico en la UNAD entonces Milena está matriculada en el periodo
20-04. Milena no está matriculada en el periodo 20-04. Por lo tanto, Milena no estudia
Diseño Gráfico en la UNAD.

Ley de inferencia de la expresión: Modus Tollendo Tollens (TT)

 Expresión simbólica

p∧q

Proposiciones Simples
p: Milena Estudia Diseño Gráfico en la UNAD
q: Milena está matriculada en el periodo 20-04
Lenguaje Natural
Milena Estudia Diseño Gráfico en la UNAD y Milena está matriculada en el periodo 20-04.
Por lo tanto, Milena Estudia Diseño Gráfico en la UNAD
Ley de inferencia de la expresión: Simplificación (S)