Resolution (Vollständigkeit)

die Formel (Klauselmenge) ist nicht erfüllbar $ \iff$ mathend000# die leere Klausel ist durch Resolution ableitbar.

Bsp: {p, qp∨¬q} mathend000#

Beweispläne:



Johannes Waldmann 2014-03-31