Día: 22 octubre 2014

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).