« Insatisfaisable » : différence entre les versions


Aucun résumé des modifications
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
Ligne 9 : Ligne 9 :




<small>
 
==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.btb.termiumplus.gc.ca/tpv2alpha/alpha-fra.html?lang=fra&i=1&srchtxt=unsatisfiable&codom2nd_wet=1#resultrecs  Source : TERMIUM Plus]



Dernière version du 27 janvier 2024 à 23:38

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