¿Cómo es?
Para construir una interpretación es necesario explicitar los aspectos siguientes:
- El dominio (D) de las variables, que no puede estar vacío (∅).
- Para cada símbolo de predicado, una interpretación (V o F) para cada una de las posibles sustituciones de todas sus variable por elementos del dominio. El conjunto de todas estas interpretaciones se denomina Ip.
- Para cada símbolo de constante, una asignación de un elemento concreto del dominio. El conjunto de todas estas asignaciones se denomina Ic.
Una interpretación en lógica de predicados es, pues, un triplete de la forma <D, Ip, Ic>.
se consideran todas las sustituciones de variables por elementos del dominio, mientras que sólo se considera una sustitución por cada constante. Una constante designa un elemento, y sólo uno, del dominio.
