(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 valores veritativos; modelo; interpretação