\( \mathfrak{I}(P) = P \) ergibt keinen Sinn. \( \mathfrak{I}(P) \) ist eine Relation, \( P \) ist ein Relationssymbol.
\( \alpha \) ist keine prädikatenlogische Formel, dazu hat es eine Klammer zu viel oder eine Klammer zu wenig.
Wo kommt das \( z \) her? Meinst du \( \mathfrak{I}(P) = \{2z-1 | z \in Z\} \)?
Was meinst du mit \(\mathfrak{I}(\alpha)\)?
Ansonsten sieht deine Lösung gut aus. Eine einfachere Interpretation wäre \(Q=P=\emptyset\). Wenn's nicht ganz so trivial sein soll, dann \( Q=Z\times Z \) und \( P=Z \).