LI2011-12: Ejercicios de lógica de primer orden
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 6 del libro de ejercicios, aunque en su solución se han utilizado tableros semánticos.
Los ejercicios resueltos son los siguientes:
- Decidir la consistencia de conjuntos de fórmulas mediante tableros semánticos infinitos (por ejemplo, del conjunto
.
- Determinar las variables libres y las ligadas de una fórmula (ejercicio 6.28).
- Decidir la satisfacibilidad de fórmulas con variables libres (ejercicio 6.29.1).
- Decidir la validez de fórmulas con variables libres (ejercicio 6.29.3).
- Decidir la validez de una fórmula en una estructura dada (ejercicio 6.30).
- Decidir la consistencia de un conjunto de fórmulas (ejercicio 6.31).
- Decidir si una fórmula es consecuencia de un conjunto de fórmulas (ejercicio 6.32).