satisfiabilité
Français modifier
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
- Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.
Nom commun modifier
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
Traductions modifier
Prononciation modifier
- France (Lyon) : écouter « satisfiabilité [Prononciation ?] »
- France (Toulouse) : écouter « satisfiabilité [Prononciation ?] »
Voir aussi modifier
- satisfiabilité sur l’encyclopédie Wikipédia