LI2014: Ejercicios de los tres primeros temas
En la la clase de hoy del curso de Lógica Informática se han comentado las soluciones de ejercicios de la relación 4 utilizando técnicas estudiadas en los tres primeros temas (tablas de verdad, deducción natural y tableros semánticos).