LI2011-12: Ejercicios de lógica de primer orden (2)
La clase de hoy del curso Lógica Informática ha consistido en la resolución de ejercicios de la lógica de primer orden. Los ejercicios corresponden al capítulo 11 del libro de ejercicios.
Los ejercicios resueltos son los siguientes:
- 13.1 y 13.3: Decidir si dos términos son unificables, y en su caso calcular un unificador de máxima generalidad.
- 14.1: Demostrar la validez de una fórmula por resolución, tableros semánticos y deducción natural.
- 14.2: Decidir por resolución la validez de una fórmula.
- 29: Dado un programa lógico y una pregunta, calcular las respuestas.
- 23: Formalizar un argumento y decidir su validez.