interpretação

(Lógica) lista de atribuições, contendo geralmente um universo de discurso, para os diversos sinais que constituem o alfabeto de um sistema lógico, de modo que sejam associados a todas as fórmulas deste sistema de valores veritativos; modelo; estrutura