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)