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)
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)
