in aufg. 8.2 a)
(aufg08.pdf)
steht:
F = … [img]http://mokrates.de/cgi-bin/texstring?%5Cforall[/img] x (…)
und dadrunter:
I(x) = 3
I(a) = 7
I(b) = 3

jetzt gibt es die vermutung dass das I(x) = 3 einfach nicht da stehen dürfte.
wenn es aber so gehört gilt dann eher [img]http://mokrates.de/cgi-bin/texstring?%5Cforall[/img] 3 oder muss darf man das I(x) = 3 ignorieren, weil das [img]http://mokrates.de/cgi-bin/texstring?%5Cforall[/img] stärker wirkt oder so?

Werte doch erstmal ganz normal aus (so wie in der Präsenzaufgabe) und halte
dich dabei ganz exakt an die Definitionen. Dann (irgendwann ganz am Ende), wenn
es darum geht, dass x zu interpretieren, kannst du gucken was da passiert und ob
man I(x) dann braucht, oder vielleicht nicht, weil es "überdeckt" wird…

Es gibt übrigens keine Definitionen, der Art, das A( forall x F ) = A ( forall 3 F)
wenn I(x) = 3 ist o.ä., also solltest du sowas auch nicht machen! Halte dich bei
dem Aufgabenzettel ganz genau an die Defintionen der Semantik.

Fröhliche Grüsse,
Frank :)

PS Das I(x) definitiert ist, ist kein Fehler in der Aufgabe.

ob man I(x) dann braucht, oder vielleicht nicht, weil es "überdeckt" wird…

das sollte genau die frage gewesen sein: ob es so eine "überdeckung" gibt.

Ja, und meine Antwort steht oben ;)

Werte doch erstmal aus und sieh dann was passiert - du siehst das
dann schon!

Fröhliche Grüsse,
Frank :)