##  [Élimination de Modèles](/index.php/fr/node/60045) 

  ##  [Élimination de Modèles](https://mathlogic.quantumdictionary.io/fr/node/60046) 

  

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

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Une procédure de preuve dirigée par les buts, de type tableau, qui tente de réfuter un ensemble de clauses en éliminant systématiquement des modèles candidats par des expansions dirigées et la fermeture de branches.