##  [Satisfaisabilité](/fr/node/59945) 

  ##  [Satisfaisabilité](https://mathlogic.quantumdictionary.io/fr/node/59946) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Propriété d'une formule ou d'un ensemble de formules selon laquelle il existe au moins une interprétation, un modèle ou une affectation de valeurs de vérité rendant chaque formule de l'ensemble vraie.