Prädikatenlogik/Elementare Äquivalenz/Trennende Ausdrücke/Relationen und Funktionen wohldefiniert/Fakt/Teilbeweis/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 jedes -stellige Funktionssymbol aus die elementare Äquivalenz folgt.

Eine Lösung erstellen