« 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:publication]]
 
[[Catégorie:Intelligence artificielle]]
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
[[Catégorie:UTexas]]

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


Source : TERMIUM Plus

Source : UTexas Artificial Intelligence Vocabulary