« Insatisfaisable » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Se dit, en logique, d'une formule fausse par rapport à toutes les interprétations possibles. | Se dit, en logique, d'une formule fausse par rapport à toutes les interprétations possibles. | ||
| Ligne 11 : | Ligne 10 : | ||
<small> | <small> | ||
[https://www.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=unsatisfiable&codom2nd_wet=1#resultrecs Source : TERMIUM Plus] | |||
[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: | |||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:UTexas]] | [[Catégorie:UTexas]] | ||
Version du 21 avril 2021 à 10:03
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
