Interprétation

Une attribution de sens aux symboles non logiques (constantes, symboles de fonction, symboles de prédicat) d'un langage formel, accompagnée d'un univers du discours ; cette attribution détermine quelles formules du langage sont vraies, fausses ou indéterminées relativement à cette attribution.