satisfiabilité

== Français == === Étymologie === Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici. === Nom commun === 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 ==== satisfaisabilité ==== Vocabulaire apparenté par le sens ==== satisfiabilité figure dans le recueil de vocabulaire en français ayant pour thème : logique modale. ==== Traductions ==== === Prononciation === France (Lyon) : écouter « satisfiabilité [Prononciation ?] » France (Toulouse) : écouter « satisfiabilité [Prononciation ?] » === Voir aussi === satisfiabilité sur l’encyclopédie Wikipédia