LMF2012: Resolución proposicional (2)
En la clase de hoy del curso Lógica matemática y fundamentos hemos continuado el estudio del método de resolución. Hemos visto propiedades del método (adecuación y completitud) y algoritmos de búsqueda de demostraciones por resolución
Las transparencias de esta clase son las páginas 18 a 34 del tema 5