Refutación por Resolución
- Natural & Formal Sciences -
Mathematics & 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.