Termmenge/Selbstinterpretation/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet (das mindestens eine Variable enthalte)

einer Sprache erster Stufe und die zugehörige Termmenge. Zeige, dass man als Grundmenge einer Interpretation von nehmen kann, indem man Variablen, Konstanten und Funktionssymbole „natürlich“ und Relationssymbole willkürlich interpretiert.
Eine Lösung erstellen