LMF2013: Aplicaciones de la lógica proposicional con Prover9 y Haskell

PorJosé A. Alonso

En la clase de hoy del curso Lógica matemática y fundamentos
hemos estudiado cómo resolver lógicamente problemas representándolos en la lógica proposicional y usando Prover9/Mace4 o Haskell para su solución.

Los problemas que se han visto son

  • El problema de los veraces y los mentirosos.
  • El problema de los animales.
  • El problema del coloreado del pentágono.
  • El problema del palomar.
  • El problema de los rectángulos.
  • El problema de las 4 reinas.
  • El problema de Ramsey.

Las transparencias utilizadas son las páginas 13 a 49 del tema 6

Los códigos de los ejemplos se encuentran aquí.