« Insatisfaisable » : différence entre les versions
m (ClaireGorjux a déplacé la page Unsatisfiable vers Insatisfaisable) |
Aucun résumé des modifications |
||
| Ligne 16 : | Ligne 16 : | ||
[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.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=unsatisfiable&codom2nd_wet=1#resultrecs Source : TERMIUM Plus] | ||
[[Catégorie: | [[Catégorie:révision]] | ||
[[Catégorie:Intelligence artificielle]] | [[Catégorie:Intelligence artificielle]] | ||
[[Catégorie:UTexas]] | [[Catégorie:UTexas]] | ||
Version du 20 avril 2021 à 10:55
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
