Next: 8.4 Cómo demostrar la Up: 8.3 Otras formas de Previous: 8.3.1 Fuerza bruta Contents
El teorema de refutación dice que
.
En palabras: el conjunto de fórmulas 
(gamma) tiene
como consecuencia a 
si y sólo si el sistema formado por
junto con 
es insatisfactible.
El cómo demostrar la insatisfactibilidad es otro tema, bastante largo, como su nombre sugiere. Uno de los métodos fáciles de usar es el del árbol de resolución de cláusulas.