Semantik

Zusammenfassung

Ein L-Term t hat erst dann einen Wert in einer L-Struktur, wenn man die Variablen von t mit Elementen von A belegt.

Sei $\mathfrak{Q}$ der Körper der rationalen Zahlen und $t=\cdot v_{0}+v_{1}v_{2}$. Wenn $\beta(v_{i})=i+2$, ist $t^{\mathfrak{Q}}[\beta]=2(3+4)=14$.