LMF2017: Deducción natural proposicional (2)
En la clase de hoy del curso Lógica matemática y fundamentos se ha continuado el estudio de la deducción natural en la lógica proposicional.
Se han estudiado las siguientes reglas reglas derivadas:
- Regla del modus tollens
- Regla de introducción de doble negación
- Regla de reducción al absurdo
- Ley del tercio excluido
Las transparencias de esta clase son las 18-29 del tema 2.