[ss11] hw05

[daLois]

Hi,

irgendwie komm ich mit dem beispiel nicht klar.
Kann mir jemand sagen was I^(-1)(true) = A bedeutet ?
Heißt das alle truth assignments zu false in I liegen in A ?

[bbiesinger]

Hm, bischen spät, aber ist ja vielleicht immer noch interessant.

Wenn ich das richtig verstanden habe, ist A einfach die Menge an Variablen, die in der Interpretation I auf true gesetzt sind: ist die inverse Funktion von I.

Also wohl nur eine kürzere Schreibweise für