10Leyes de InferenciaEjercicio de aplicación
Subtítulos
A continuación, tenemos un ejercicio de aplicación en donde se nos presenta un primer argumento:
Ejercicio 1:
Argumento:
Si Andrés está matriculado en el curso de Programación
entonces no estudia Ingeniería de Alimentos.
Andrés está matriculado en la UNAD o es buen estudiante.
Andrés estudia Ingeniería de
Alimentos
y está matriculado en la UNAD.
Por lo tanto, Andrés no está matriculado en el curso de Programación.
Subtítulos
De ese argumento extraemos las proposiciones simples:
Ejercicio 1:
Argumento:
Si Andrés está matriculado en el curso de Programación
entonces no estudia Ingeniería de Alimentos.
Andrés está matriculado en la UNAD o
es buen estudiante.
Andrés estudia Ingeniería de Alimentos
y está matriculado en la UNAD.
Por lo tanto, Andrés no está matriculado en el curso de Programación.
Proposiciones simples:
p: Andrés está matriculado en la UNAD.
q: Andrés estudia Ingeniería de Alimentos.
r: Andrés está matriculado en el curso de Programación.
s: Andrés es buen estudiante.
Subtítulos
Una vez organizadas estas proposiciones simples, es posible hacer una expresión simbólica:
Ejercicio 1:
p: Andrés está matriculado en la UNAD.
q: Andrés estudia Ingeniería de Alimentos.
r: Andrés está matriculado en el curso de Programación.
s: Andrés es buen estudiante.
Expresión simbólica:
[(r → ¬q) ∧ (p∨s) ∧ (q∧p)] → ¬r
Subtítulos
Para luego hacer la respectiva enumeración de premisas y por último se deja la conclusión (sin numerar):
Ejercicio 1:
Enumeración de premisas:
p1: r→¬q
P2: p ∨ s
p3: q ∧ p
Conclusión: ¬r
Subtítulos
Una vez organizadas y enumeradas las proposiciones, debemos determinar las leyes de inferencia a aplicar para llegar a la conclusión. Recordemos que cada que creamos una nueva premisa debe ir numerada en el consecutivo hasta llegar a la conclusión.
Ejercicio 1:
Aplicación leyes de inferencia:
P1: r→¬q
P2: p ∨ s
P3: q ∧ p
P4: q…… Simplificación en P3
P5: ¬r…… Modus Tollendo Tollens entre P1 y P4