Prädikatenlogik/Elementare Äquivalenz/Trennende Ausdrücke/Funktion/Nicht wohldefiniert/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet erster Stufe und eine -Struktur. Für jede elementare Äquivalenzklasse

gebe es einen -Ausdruck in einer freien Variablen , der die Klasse beschreibt. Zeige, dass für ein -stelliges Funktionssymbol aus nicht die Gleichheit folgen muss.
Eine Lösung erstellen