Français modifier

 

É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

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

Synonymes modifier

Traductions modifier

Prononciation modifier

Voir aussi modifier