 ##  [Refutación por Resolución](/es/node/59920) 

  ##  [Refutación por Resolución](https://mathlogic.quantumdictionary.io/es/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 &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 
Definición

Un método de prueba que demuestra la insatisfacibilidad de un conjunto de cláusulas aplicando repetidamente la regla de resolución para producir nuevas cláusulas hasta derivar la cláusula vacía, lo que indica una contradicción.