Menu Close

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

Sin categoría