##  [Réfutation par Résolution](/fr/node/59920) 

  ##  [Réfutation par Résolution](https://mathlogic.quantumdictionary.io/fr/node/59921) 

  

 [![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

Une méthode de preuve qui démontre l'insatisfiabilité d'un ensemble de clauses en appliquant de manière répétée la règle de résolution pour produire de nouvelles clauses jusqu'à dériver la clause vide, signe d'une contradiction.