Zum Inhalt springen

Alphabet erster Stufe/A/Umbelegung und Uminterpretation/Definition/Begriff/Inhalt

Aus Wikiversity

Unter der Uminterpretation versteht man diejenige Interpretation von in , die strukturgleich zu ist und für deren Variablenbelegung

gilt.