En un sistema de lógica proposicional, una interpretación es una asignación de valores de verdad (verdadero o falso) a cada una de las fórmulas atómicas bajo consideración.