LI2012: Ejercicios sobre la sintaxis y semántica proposicional

En la clase de hoy del curso Lógica Informática se han resuelto los ejercios propuestos de la sintaxis y semántica proposicional.

Concretamente, desde el ejercicio 22 al 32 del capítulo 1 del libro de ejercicios. Quedan pendientes para la próxima clase desde el 33 al 37.