Una interpretación es un par , donde D es un conjunto no vacío llamado el dominio de discurso e I es una función llamada la "función de interpretación" definida como sigue: