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:
- Sintaxis y semántica de la lógica proposicional.
- Deducción natural proposicional.
- Tableros semánticos proposicionales.
- Formas normales.
- Resolución proposicional.
Hemos comentado las soluciones de los ejercicios propuestos de los temas 4 (formas normales) y 6 (algoritmo DPLL).