Insatisfaisable

Révision datée du 20 avril 2021 à 10:55 par ClaireGorjux (discussion | contributions) (ClaireGorjux a déplacé la page Unsatisfiable vers Insatisfaisable)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Définition

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

Français

insatisfaisable

Anglais

unsatisfiable

Source : UTexas Artificial Intelligence Vocabulary

Source : TERMIUM Plus

Récupérée de « https://datafranca.org/wiki/index.php?title=Insatisfaisable&oldid=50777 »

Catégories :

Contributeurs: Claire Gorjux, Isaline Hodecent, wiki