satisfiabilité \sa.tis.fja.bi.li.te\ (nom commun) : En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie. Parmi ses synonymes : satisfaisabilité.
Synonymes de satisfiabilité
Définitions
Nom commun \sa.tis.fja.bi.li.te\
- En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.Le problème de la décision de la satisfiabilité d’une forme normale disjonctive admet une réponse qui peut être obtenue très simplement.
Mots voisins
satisfaction· satisfaire· satisfaisabilité· satisfaisant· satisfait· satisfecit· satoner· satonner· satrape· satrouille· saturateur· saturation
Sources
- « satisfiabilité », Wiktionnaire, le dictionnaire libre. Texte sous licence CC BY-SA 4.0.
Une erreur, un synonyme manquant ? Corrigez la page du Wiktionnaire : la prochaine mise à jour de Synonyma la reprendra.