satisfiabilité

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

Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.

Nom commun

SingulierPluriel
satisfiabilité satisfiabilités
\sa.tis.fja.bi.li.te\

satisfiabilité \sa.tis.fja.bi.li.te\ féminin

  1. (Logique) En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.

Synonymes

Vocabulaire apparenté par le sens

  • satisfiabilité figure dans le recueil de vocabulaire en français ayant pour thème : logique modale.

Traductions

 

Prononciation

Voir aussi

Cet article est issu de Wiktionnaire. Sauf mention contraire, le texte est disponible sous Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.