Das Symbolalphabet
bestehe neben Variablen aus einem einstelligen Funktionssymbol
und es sei
mit
.
Es sei
, wobei
als
interpretiert wird mit der einzigen Ausnahme
-

a) Zeige, dass
von
erfüllt wird.
b) Bestimme die funktionale Hülle von
.
c) Zeige, dass die funktionale Hülle von
nicht
erfüllt.
d) Man gebe zwei funktional abgeschlossene,

-erfüllende und

enthaltende Teilmengen

an, deren Durchschnitt

nicht

erfüllt.