Satisfiabilité


Révision datée du 1 février 2021 à 22:34 par Pitpitt (discussion | contributions) (Remplacement de texte — « <small>féminin </small> » par «  »)

Définition

En logique mathématique, la satisfaisabilité ou satisfiabilité est un concept sémantique où une formule logique est dite satisfaisable s'il est possible de trouver une interprétation où la formule est vraie. Le concept opposé est l'insatisfaisabilité où une formule est insatisfaisable si aucune de ses interprétations n’est vraie.

Français

satisfaisabilité

satisfiabilité

Anglais

Satisfiability


Source: Wikipedia, Satifaisabilité.

Source : Hugel, T. (2010). Estimations de satisfaisabilité (Thèse de doctorat, Université Paris-Diderot-Paris VII)