Semánticamente consistente

Semánticamente consistente. Un sistema es semánticamente consistente si sus expresiones admiten un modelo.  Hablando correctamente, es oportuno decir que la verificación de una condición semántica (es decir, la existencia de un modelo) comporta la de otra sintáctica, es decir, la consistencia [v], pero de todos modos puede admitirse, aunque sólo sea por definición, la consistencia semántica [v. Semántica lógica].