LMF2012: Ejercicios de sintaxis y semántica de la lógica proposicional en Haskell (2)

En la clase de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se han comentados las soluciones de los ejercicios de la 2ª relación, cuyo objetivo es la formalización de la sintaxis y la semántica de la lógica proposicional en Haskell.

Las soluciones de los ejercicios corregidos se muestran a continuación