Autor: José A. Alonso

En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se han comentados las soluciones propuestas de la 1ª relación de ejercicios sobre sintaxis de la lógica proposicional y representación del conocimiento.

En la segunda parte, se ha explicado cómo hacer demostraciones por deducción natural usando Pandora. Su uso se muestra en este vídeo.

Finalmente, se ha propuesto la 2ª relación de ejercicios.

En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado la deducción natural en la lógica proposicional.

Se ha comenzado repasando las cuestiones fundamentales estudiadas en el tema 1:

• ¿Qué es una fórmula?
• ¿Qué significa que una fórmula sea verdadera?

y planteando una nueva cuestión

• ¿Qué es un teorema?

para responderla, de forma análoga al uso de modelos para responder a la 2ª cuestión, se comenta el uso de las demostraciones.

El primer método de demostración que se presenta es el de deducción natural. Se han estudiado las siguientes reglas:

• Reglas de la conjunción
• Reglas de la doble negación
• Regla de eliminación del condicional
• Regla derivada de modus tollens (MT)
• Regla de introducción del condicional
• Reglas de la disyunción

Las transparencias de esta clase son las 1-12 del tema 2.

En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se ha continuado el estudio de la semántica de la lógica proposicional.

Se ha demostrado la equivalencia de los siguientes problemas

1. decidir si una fórmula es consecuencia lógica de un conjunto finito de fórmulas,
2. decidir si una fórmula es una tautología,
3. decidir si una fórmula es insatisfacible y
4. decidir si un conjunto de fórmulas es inconsistente.

Como aplicación se ha visto la decisión de la corrección de un argumento y la resolución de rompecabezas lógicos. En la solución del rompecabezas se ha explicado el uso del Gateway to Logic.

Las transparencias de esta clase son las páginas 30-34 del tema 1.