[ss11] hw05

  • 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