Insatisfaisable


Révision datée du 27 janvier 2024 à 22:38 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(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


Sources

Source : TERMIUM Plus

Source : UTexas Artificial Intelligence Vocabulary