« Satisfiabilité » : différence entre les versions
m (Remplacement de texte — « <!-- vocabulaire2 --> » par « <!-- Vocabulaire --> ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 21 : | Ligne 21 : | ||
[https://fr.wikipedia.org/wiki/Satisfaisabilit%C3%A9 Source : | [https://fr.wikipedia.org/wiki/Satisfaisabilit%C3%A9 Source: Wikipedia, ''Satifaisabilité''.] | ||
[https://tel.archives-ouvertes.fr/tel-00582571/document Source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)] | [https://tel.archives-ouvertes.fr/tel-00582571/document Source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)] | ||
Version du 29 mars 2020 à 15:20
Définition
En logique mathématique, la satisfaisabilité ou satisfiabilité est un concept sémantique où une formule logique est dite satisfaisable s'il est possible de trouver une interprétation où la formule est vraie. Le concept opposé est l'insatisfaisabilité où une formule est insatisfaisable si aucune de ses interprétations n’est vraie.
Français
satisfaisabilité n.f.
satisfiabilité n.f.
Anglais
Satisfiability
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
