Hintereinanderschaltung/Injektiv surjektiv/Quantorenbezug/Aufgabe

Es seien Variablen und einstellige Funktionssymbole. Bestimme, welche der folgenden Ausdrücke untereinander äquivalent sind.

a)

  1. ,
  2. ,
  3. .

b)

  1. ,
  2. ,
  3. ,
  4. .