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.