Terminterpretation/Surjektiv machen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet und eine -Interpretation auf einer Menge mit der zugehörigen Terminterpretation. Zeige, dass man diese Terminterpretationsabbildung durch die Hinzunahme von Variablen (oder durch die Hinzunahme von Konstanten) surjektiv

machen kann.
Eine Lösung erstellen