Glosario Lógica / Término
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éase interpretación).
Enlace permanente: Modelo - Fecha de actualización: 2018-11-30 - Fecha de creación: 2018-11-30