Alphabet erster Stufe/A/Umbelegung und Uminterpretation/Definition/Begriff/Inhalt
Unter der Uminterpretation versteht man diejenige Interpretation von in , die strukturgleich zu ist und für deren Variablenbelegung
gilt.
Unter der Uminterpretation versteht man diejenige Interpretation von in , die strukturgleich zu ist und für deren Variablenbelegung
gilt.