« Insatisfaisable » : différence entre les versions
(Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (5 versions intermédiaires par 3 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
Se dit, en logique, d'une formule fausse par rapport à toutes les interprétations possibles. | |||
== Français == | == Français == | ||
'''insatisfaisable''' | |||
== Anglais == | == Anglais == | ||
'''unsatisfiable''' | '''unsatisfiable''' | ||
==Sources== | |||
[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:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 27 janvier 2024 à 22:38
Définition
Se dit, en logique, d'une formule fausse par rapport à toutes les interprétations possibles.
Français
insatisfaisable
Anglais
unsatisfiable
Sources
Contributeurs: Claire Gorjux, Isaline Hodecent, wiki
