Strukturen in Aussagenlogik (EDIT: fehlerhafte und unvollständige Frage)

Question

Aufgabe:

Für die Interpretation über der Struktur ( |N, {+}, {=} ) mit                                a(x) = 3 und a(y) = 2

sollen wir å( ∃x.x + x = y).

Leider wirklich keine Ahnung. Tut mir leid.   

Answer 1

Für die Interpretation über der Struktur ( |N, {+}, {=} ) mit a(x) = 3 und a(y) = 2 sollen wir å( ∃x.x + x = y).

1. Welche Rolle spielt das a?
2. Was ist å?
3. Der Satz kein Verb.
4. Das ist Prädikatenlogik.