LMF2019: Deducción natural proposicional (1)
En la segunda parte de la clase de hoy del curso Lógica matemática y fundamentos se ha comenzado el estudio de la deducción natural en la lógica proposicional. Se ha ido presentando las reglas y su formalización en Isabelle/HOL
La reglas estudiadas son 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
Las transparencias de esta clase son las 1-10 del tema 2.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2019: Deducción natural proposicional (1)”