LI2012: Ejercicios de lógica proposicional

En la clase de hoy del curso Lógica Informática hemos comentado los tipos de ejercicios de los temas de lógica proposicional:

  1. Sintaxis y semántica de la lógica proposicional.
  2. Deducción natural proposicional.
  3. Tableros semánticos proposicionales.
  4. Formas normales.
  5. Resolución proposicional.

Hemos comentado las soluciones de los ejercicios propuestos de los temas 4 (formas normales) y 6 (algoritmo DPLL).