Interpretación

Una asignación de significados a los símbolos no lógicos (constantes, símbolos de función, símbolos de predicado) de un lenguaje formal junto con un dominio (universo) del discurso; la asignación determina qué fórmulas del lenguaje son verdaderas, falsas o indeterminadas respecto a esa asignación.