satisfiabilité
Ébauche en français
Cette entrée est considérée comme une ébauche à compléter en français. Si vous possédez quelques connaissances sur le sujet, vous pouvez les partager en modifiant dès à présent cette page (en cliquant sur le lien « modifier le wikicode »).
Étymologie
[modifier le wikicode]- Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.
Nom commun
[modifier le wikicode]| Singulier | Pluriel |
|---|---|
| satisfiabilité | satisfiabilités |
| \sa.tis.fja.bi.li.te\ | |
satisfiabilité \sa.tis.fja.bi.li.te\ féminin
- (Logique) 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.
— (Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot, Pascal Manoury, Isabelle Mounier, Logique pour l’informatique, 2020)
Synonymes
[modifier le wikicode]Vocabulaire apparenté par le sens
[modifier le wikicode]
satisfiabilité figure dans le recueil de vocabulaire en français ayant pour thème : logique modale.
Traductions
[modifier le wikicode]Prononciation
[modifier le wikicode]- France (Lyon) : écouter « satisfiabilité [Prononciation ?] »
- France (Toulouse) : écouter « satisfiabilité [Prononciation ?] »
Voir aussi
[modifier le wikicode]- satisfiabilité sur l’encyclopédie Wikipédia
