LMF2018: Deducción natural proposicional (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 deducción natural en la lógica proposicional.
Se han estudiado las siguientes reglas:
- Regla de copia
- Reglas de la negación
- Reglas del bicondicional
- Regla del modus tollens
- Regla de introducción de doble negación
- Regla de reducción al absurdo
- Ley del tercio excluido
Las transparencias correspondientes son las 13-28 del tema 2.
En la segunda parte se ha estudiado cómo formalizar demostraciones en Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2018: Deducción natural proposicional (2)”