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

Literal D.
➢ Expresión simbólica:

➢ Ley de inferencia de la expresión:

Modus Tollendo Ponens (MTP)

➢ Proposiciones simples:
p: Kevin estudia para el curso
q: Kevin saca buenas calificaciones

➢ Lenguaje Natural:
Kevin estudia para el curso o Kevin no saca buenas notas. Kevin saca
buenas calificaciones. Por lo tanto, Kevin estudia para el curso.

➢ Expresión simbólica:

➢ Ley de inferencia de la expresión:

Silogismo Hipotético (SH)

➢ Proposiciones simples:
p: Kevin estudia para el curso
q: Kevin saca buenas calificaciones
r: Kevin recibe un play de regalo.
➢ Lenguaje Natural:
Si Kevin estudia para el curso, entonces Kevin saca buenas calificaciones.
Si Kevin saca buenas calificaciones entonces, Kevin recibe un play de
regalo. Por lo tanto, Si Kevin estudia para el curso entonces, Kevin recibe
un play de regalo.

➢ Expresión simbólica:

➢ Ley de inferencia de la expresión:

Simplificación (S)

➢ Proposiciones simples:
p: Kevin estudia para el curso
q: Kevin saca buenas calificaciones

➢ Lenguaje Natural:
Kevin no estudia para el curso ni saca buenas calificaciones. Por lo tanto,
Kevin no saca buenas calificaciones.