LI2013: Ejercicios de resolución proposicional
En la clase de hoy del curso Lógica Informática se han comentado soluciones de los ejercicios 21 a 25 del tema 5 del libro de ejercicios.
En la clase de hoy del curso Lógica Informática se han comentado soluciones de los ejercicios 21 a 25 del tema 5 del libro de ejercicios.