Satisfaisabilité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété d'une formule ou d'un ensemble de formules selon laquelle il existe au moins une interprétation, un modèle ou une affectation de valeurs de vérité rendant chaque formule de l'ensemble vraie.