Propiedad del Modelo Finito
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Propiedad de una lógica o teoría formal que afirma que toda fórmula o sentencia satisfacible (que tiene un modelo) posee un modelo finito.