Ejercicio 2 Unidad 1_Claribel Buzon

Vista previa del material en texto

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. 
 
➢Nombrar la ley de inferencia que representa cada expresión simbólica. 
 
 Ley Modus Ponendo Ponens Ley Adjunción Ley Modus Ponendo Ponens 
➢Definir las proposiciones simples 
p: Alexander estudia economía en la UNAD. 
q: Él viaja todos los días a la UNAD.
r: Se graduó de la UNAD.
➢ Construir el lenguaje natural de cada ley de Inferencia expresada en lenguaje simbólico. 
p: Alexander estudia en la UNAD.
q: Viaja todos los días a la UNAD.
r: Se graduó de la UNAD.
 Lenguaje natural
Si Alexander estudia en la UNAD entonces, no viaja todos los días.
Alexander estudia en la UNAD.
Por lo tanto, no viaja todos los días.
 Alexander estudia en la UNAD.
No viaja todos los días.
Por lo tanto, Alexander estudia en la UNAD y viaja todos los días.
Si Alexander no estudia en la UNAD se deduce que se gradué de la UNAD. 
Alexander no estudia en la UNAD
Por lo tanto, se gradué de la UNAD.