LMF2016: Deducción natural proposicional
En 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.
Las transparencias de esta clase son las del tema 2.