1

ACTIVIDADES A DESARROLLAR

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

Descripción del ejercicio:

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas

leyes de inferencia del ejercicio C.

C. Expresión simbólica

r→s pvq a∧b

r ¬p

s q b

➢ Nombrar la ley de inferencia que representa cada expresión simbólica.

r→s pvq a∧b

r ¬p

s q b

Modus ponens (MP) Silogismo disyuntivo (SD) Simplificación (SIM)

➢ Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción

basada en un contexto

• p: Daniel estudia para el examen

• q: Daniel le va bien en la universidad

 2

➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico

r→s

R: Si Daniel estudia para el examen, entonces le va bien en la universidad, Daniel estudia para el

examen, por lo tanto, Daniel le va bien en la universidad

pvq

¬p

R: Daniel estudia para el examen o le va bien en la universidad, Daniel no estudia para el

examen, por lo tanto, le va bien en la universidad.

a∧b

R: Daniel estudia para el examen y le va bien en la universidad, por lo tanto, le va bien en la

universidad.