Interprètation

concept

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

Propriétés