Logik:Klausuren/27.02.2004/2.7 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Anubis (Diskussion | Beiträge) (→1. Aufgabenstellung) |
(kein Unterschied)
|
Aktuelle Version vom 22. November 2004, 16:47 Uhr
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.
