LMF2012: Sintaxis y semántica de la lógica proposicional en Haskell (1)

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 revisión de Haskell planteados en la clase anterior y se ha comenzado la solución de los ejercicios sobre la sintaxis y semántica de la lógica proposicional en Haskell.

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