Satisfacibilidad

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propiedad de una fórmula o conjunto de fórmulas que existe al menos una interpretación, modelo o asignación de valores de verdad que hace verdaderas todas las fórmulas del conjunto.