Logik:Klausuren/27.02.2004/2.7 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
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.
