Results 1 to 2 of 2

Thread: [ss11] hw05

  1. #1
    Principal
    Join Date
    Dec 2007
    Posts
    64
    Thanks
    5
    Thanked 7 Times in 7 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. #2
    Master
    Join Date
    Oct 2009
    Posts
    105
    Thanks
    23
    Thanked 11 Times in 7 Posts
    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

Bookmarks

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •