interprètation

Concept

fonction donnant (habituellement) une valeur de vérité aux formules d'un système logique

Sources