LI2011: Deducción natural en lógica proposicional (1)
En la clase de hoy del curso Lógica Informática se ha empezado el estudio de la deducción natural en lógica proposicional.
La reglas que se han visto en la clase son las de la conjunción, de la doble negación, de eliminación del condicional, de modus tollens, de introducción del condicional y las de la disyunción.
También se ha presentado el sistema Pandora para editar demostraciones por deducción natural.
Como tarea pendientes se propone la resolución de los 36 primeros apartados del ejercicio 5 del tema 2 del libro de ejercicios.
Las transparencias de esta clase son las páginas 1-12 del tema 1