satisfiabilité
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.
Synonymes
[modifier le wikicode]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
