Ich hab mal eine Frage, die eigentlich auch allgemeiner Natur ist.

Im "Vorwort" der Aufgabe steht [img]http://mokrates.de/cgi-bin/texstring?%24%5Cmathcal%7BI%7D(x)%3D%5Cmathcal%7BI%7D(y)%3D%5Cmathcal%7BI%7D(z)%3D%5Calpha[/img]. Das ist ja im Grunde genommen das gleiche, was man auch mit Konstanten macht - ihnen wird in Bezug auf die Interpretation ein Wert zugewiesen.

Dann in der Aufgabe geht es um Formeln mit [img]http://mokrates.de/cgi-bin/texstring?%5Cforall%20x[/img] (man soll deren Wahrheitswert unter der Interpretation I bestimmen) - ich gehe davon aus, dass x in der Formel dann trotzdem eine ungebundene Variable ist. Wozu wird dann aber am Anfang definiert, welchen Wert x in der Interpretation hat?

/Nachtrag: Link zum Aufgabenblatt (aus dem Informatik-Netz)