Resolution Refutation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A proof method that demonstrates the unsatisfiability of a set of clauses by repeatedly applying the resolution rule to produce new clauses until the empty clause is derived, indicating a contradiction.