Este documento habla sobre los fundamentos de la lógica proposicional y las reglas de inferencia. Explica que las reglas de inferencia permiten derivar una conclusión a partir de varias premisas y menciona algunas reglas como el Modus Ponendo Ponens y el Modus Tollendo Tollens. También incluye algunos ejercicios de aplicación de estas reglas de inferencia.

1. Fundamentos Informáticos
Lógica Proposicional:
Reglas de inferencia

2. Reglas de Inferencia
• Las reglas de inferencia nos permiten encontrar una
conclusión a partir de varios enunciados.
• En este programa, solamente aprenderemos a
distinguir el modelo de inferencia, dado un ejemplo;
o, a encontrar la conclusión dadas las premisas.
• Solamente se estudiará la aplicación de:
– Modus Ponendo Ponens
– Modus Tollendo Tollens
– Modus Tollendo Ponens
– Silogismo Hipotético
– Silogismo Disyuntivo

3. Reglas de Inferencia
• Reglas de Inferencia

4. Reglas de Inferencia
• Reglas de Inferencia

5. Reglas de Inferencia
• Reglas de Inferencia

6. Ejercicios
• Si la Luna es mayor que la Tierra, la Tierra es
mayor que el Sol. La Luna es mayor que la
Tierra. Por tanto, ….
• P1: Si no tenemos la información certificada,
entonces no la podremos publicar. P2:
Podemos publicar la información
certificada.C: Tenemos la información
certificad.

7. GRACIAS