Prädikatenlogik Teil 4
Prädikatenlogik Teil 4
Prädikatenlogik Teil 4
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Faktorisierung<br />
Definition 6<br />
Binäre Faktorisierungsregel<br />
{L 1 , . . . , L k , L, L ′ }<br />
{L 1 σ, . . . , L k σ, Lσ} (Fakt)<br />
mit σ allgemeinster Unifikator von L und L ′ .<br />
Die so gewonnene neue Klausel heißt Faktor der Ausgangsklausel.<br />
<strong>Prädikatenlogik</strong> H. Kleine Büning 18/32