Lógica proposicional
Nota 2. Lógica proposicional (pdf)(html)
Nota 3. Reglas de deducción natural y propiedades de los sistemas de demostración (pdf)(html)
Nota 4. Tableaux semánticos (pdf)(html)
Nota 5. Resolución binaria (pdf)(html)
Lógica de predicados
Nota 6. Lógica de predicados (pdf)(html)
Nota 7. Deducción natural (pdf)(html)
Nota 9. Tableaux semánticos (pdf)(html)
Nota 10. Formas normales (pdf)(html)
Nota 11. Algoritmos de unificación. Regla de resolución y procedimiento de resolución general (pdf)(html)
Nota 12. Resolución SLD y programación lógica (pdf)(html)
Nota 13. Teoría de Herbrand (pdf)(html)
Extensiones y aplicaciones
Nota 14. Verificación de modelos (pdf)(html)
Nota 15. Ejemplo de deducción natural usando Coq (pdf)(html)