Logik:Klausuren/17.07.2004/8 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
2. Lösung[Bearbeiten]
a)
I1: $ a^{I1} = 0 $
$ f^{I1}(X) = X+1 $
$ p^{I1} = \{ (X,Y) | X <= Y \} $
a)
I1: $ a^{I1} = 0 $
$ f^{I1}(X) = X+1 $
$ p^{I1} = \{ (X,Y) | X <= Y \} $