Satisfiabilité définition

satisfiabilité

[nom] En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.
Trouvé sur https://fr.wiktionary.org/wiki/satisfiabilité

---