LI2011: Deducción natural en lógica proposicional (2)
En la clase de hoy del curso Lógica Informática se ha completado el estudio de la deducción natural en lógica proposicional.
La reglas que se han visto en la clase son las de la negción, las del bicondicional y las reglas derivadas (modus tollens, introducción de la doble negación, reducción al absurdo y ley del tercio excluso).
Como tarea pendientes se propone la resolución del ejercicio 5 del tema 2 del libro de ejercicios.
Las transparencias de esta clase son las páginas 13-28 del tema 1