LMF2018: Deducción natural proposicional (1)
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 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.
Finalmente, se han propuesto la resolución de los ejercicios 2.5.1 a 2.5.36 del Libro de ejercicios