LI2011-12: Ejercicios de deducción natural y tableros semánticos proposicionales
En la clase de hoy del curso Lógica Informática se han comentados soluciones de ejercicios de deducción natural y tableros semánticos proposicionales. Los enunciados de los ejercicios se encuentran en los temas 2 y 3 del libro de ejercicios.
Las soluciones de los ejercicios de deducción natural se encuentran en aquí.
También se ha comentado los tipos de problemas de deducción natural y los tipos de problemas de tableros semánticos.