« Insatisfaisable » : différence entre les versions

Version du 20 avril 2021 à 10:54

Se dit, en logique, d'une formule fausse par rapport à toutes les interprétations possibles.

insatisfaisable

unsatisfiable

Source : UTexas Artificial Intelligence Vocabulary

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:UTexas]]
 == Définition ==
-xxxxxxx
+Se dit, en logique, d'une formule fausse par rapport à toutes les interprétations possibles.
 == Français ==
-xxxxxxx
+'''insatisfaisable'''
 == Anglais ==
 '''unsatisfiable'''
-of a logical formula, false under every interpretation; inconsistent or contradictory.
@@ Ligne 21 : / Ligne 13 : @@
 [https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[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:Vocabulary]]
+[[Catégorie:Intelligence artificielle]]
+[[Catégorie:UTexas]]