Variablenbelegungsveränderung

Einfache Sprache

Im Kontext der Prädikatenlogik ist eine Variablenbelegungsveränderung eine Möglichkeit eine Variable einer Belegung druch eine andere zu ersetzen.

Def. Variablenbelegungsveränderung

Sein $\beta$ ein A-Belegung. Wollen wir nun die Variable $x_i$ durch den Wert $a$ ersetzen schreiben wir

$$\beta\left[\frac{x_i}{a}\right](x_j) := \begin{cases}a&\text{if } i = j\\\beta(x_j)&\text{else.}\end{cases}$$