LI2014: Ejercicios de semántica y deducción natural proposicional
En la la clase de hoy del curso de Lógica Informática se han comentado las soluciones de los ejercicios de la relación 2 (sobre formalización y semántica proposicional) y los de la relación 3 (sobre deducción natural).