LI2014: Ejercicios de lógica de primer orden
En la clase de hoy del curso de Lógica Informática se han comentado ejercicios de lógica de primer orden propuestos en exámenes de cursos anteriores. En concreto,
- del examen del segundo parcial del curso 2007-08 se han comentado los siguientes ejercicios:
- El 2 para calcular la forma de Skolem y la clausal de una fórmula.
- El 3 para calcular el universo de Herbrand de un conjunto de fórmulas y decidir su consistencia mediante resolución.
- El 4 para formalizar un argumento y decidir su validez por resolución, tableros semánticos y deducción natural.
- del examen de la convocatoria de junio de 2008 se han comentado los siguientes ejercicios:
- El 2 para formalizar expresiones que usan igualdad.