Insatisfacibilidad
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Propiedad de una fórmula o conjunto de fórmulas para la cual ninguna interpretación, modelo o asignación hace verdaderas todas las fórmulas del conjunto; equivalentemente, la clase de modelos es vacía.