Nächste Seite: Aufgabe 46 Vorige Seite: Aufgabe 44

Aufgabe 45

Gegeben sei die Klauselmenge .

a. Berechne (Theorie unter Annahme der Weltabgeschlossenheit).

b. Berechne (Theorie unter Prädikatsvervollständigung.

c. Diskutiere das in a. und b. erhaltene Ergebnis.