Surjektive Abbildung/Unterstruktur/Durchschnitt erfüllt nicht/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.