Logik:Klausuren/27.02.2004/2.7 Aufgabe

1. Aufgabenstellung

Beweisen Sie, dass der Algorithmus zur Transformation einer prädikatenlogischen Formel
in Pränexnormalform nicht korrekt ist, wenn dieser auf Formeln angewendet wird, in der
die Variablen noch nicht auseinander dividiert sind.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 27.02.2004