Un modelo es una interpretación en la que las expresiones de interés (p. ej. una fbf, un conjunto de fbfs, un sistema) son verdaderas para dicha interpretación.

(v. interpretación)