Insatisfaisabilité

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété d'une formule ou d'un ensemble de formules pour laquelle aucune interprétation, aucun modèle ou aucune affectation ne rend toutes les formules de l'ensemble vraies ; équivalemment, la classe des modèles est vide.