« Insatisfaisable » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 14 : | Ligne 14 : | ||
[https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | [https://www.cs.utexas.edu/users/novak/aivocab.html Source : UTexas Artificial Intelligence Vocabulary] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
[[Catégorie: |
Version du 21 avril 2021 à 15:59
Définition
Se dit, en logique, d'une formule fausse par rapport à toutes les interprétations possibles.
Français
insatisfaisable
Anglais
unsatisfiable
Contributeurs: Claire Gorjux, Isaline Hodecent, wiki