Taller Sobre Reglas de Inferencia
Taller Sobre Reglas de Inferencia
Taller Sobre Reglas de Inferencia
Ejercicio 1
A continuación, encuentra el lenguaje simbólico de expresiones que
representan algunas leyes de inferencia.
C. En el almuerzo de hoy comeré mojarra frita con arroz de coco o un mote de ñame con
suero. En el almuerzo de hoy no comeré un mote de ñame con suero.
a. Lenguaje simbólico:
b. Ley de inferencia aplicada:
c. Conclusión:
a. Lenguaje simbólico:
b. Ley de inferencia aplicada:
c. Conclusión
Ejercicio 3
A. Expresión simbólica: [ (𝑞 ⟶∼ 𝑟) 𝖠 (𝑝 → 𝑞 )] → (𝑝 ⟶ ∼ 𝑟 )
Premisas:
P1: (𝑞 ⟶∼ 𝑟)
P2: (𝑝 → 𝑞 )
Conclusión: (𝑝 ⟶ ∼ 𝑟 )