LMF2012: Completitud de la resolución proposicional

En la clase de hoy del curso de Lógica matemática y fundamentos (de 3º de Grado en Matemáticas) se ha demostrado el teorema de completitud de la resolución proposicional. La demostración realizada se basa en la presentada en la página 33 del libro de U. Schöning Logic for computer scientists.