[nom] En logique propositionnelle, fait qu'il existe une affectation des variables propositionnelles rendant la formule logiquement vraie.
Trouvé sur
https://fr.wiktionary.org/wiki/satisfaisabilité
Les quatre concepts peuvent être appliqués aux théories : une théorie est satisfaisable (valide) si une (toutes) interprétations rend chacun des axiomes de la théorie vrai, et la théorie est insatisfaisable (non valide) si toute (une) interprétation rend chacun des axiomes de la théorie ...
Trouvé sur
https://fr.wikipedia.org/wiki/Satisfaisabilité
Aucun résultat n’a été trouvé dans l’encyclopédie.
