Announcement

Collapse
No announcement yet.

[ss11] hw05

Collapse
X
  • Filter
  • Time
  • Show
Clear All
new posts

  • [ss11] hw05

    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 ?

  • #2
    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: This image was created with the kind support of Paulchen ist die inverse Funktion von I.

    Also wohl nur eine kürzere Schreibweise für This image was created with the kind support of Paulchen

    Comment

    Working...
    X