Logik:Klausuren/27.02.2004/2.7 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
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.
