LI2014: Deducción natural proposicional (2)
En la la clase de hoy del curso de Lógica Informática se ha continuado el estudio de la deducción natural proposicional que se empezó en la clase anterior.
Las reglas que se han visto en la clase son las de la negació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 se ha propuesto la 3ª relación de ejercicios.
Las transparencias de esta clase son las páginas 13-28 del tema 2.