Widerlegung Durch Resolution

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Beweisverfahren, das die Unerfüllbarkeit einer Menge von Klauseln demonstriert, indem wiederholt die Resolutionsregel angewandt wird, um neue Klauseln zu erzeugen, bis die leere Klausel abgeleitet ist, was einen Widerspruch anzeigt.