interprètation

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

Aussi : interprètation logique