Found:

Model

**SEMANTICS: ** the device which makes it possible to interpret formal systems in model-theoretic semantics. The expressions of a formal language are then interpreted with respect to a model. In propositional logic, this model is an assignment of **truth value**s to the basic **propositional letters** of the language.
** EXAMPLE:** the following example shows how complex expressions are
interpreted in terms of the truth values that the model assigns to the propositional letters p and q.

(i) VIn predicate logic, the model M consists of a universe of discourse (D) and a mapping I from the_{M}(p & q) = 1 if and only if V_{M}(p) = 1 and V_{M}(q) = 1

(ii) V_{M}( P(c) ) = 1 iff I_{M}(c) in I_{M}(P)

LIT. | Gamut, L.T.F. (1991) |