Belegung (Logik)
# Belegung (Logik)

Im Rahmen der Interpretation formaler Systeme ist eine Belegung
* in der Aussagenlogik eine Abbildung, die jeder Aussagenvariablen einen Wahrheitswert w bzw. f zuordnet;
* in der Prädikatenlogik (bei vorgegebener Struktur S) eine Abbildung, die jeder freien Variablen aus S ein Element des Universums A zuordnet.

## Aussagenlogik

In der Aussagenlogik ist eine Belegung definiert als eine Abbildung der Menge der Aussagevariablen ${\textbf {AV}}$ auf die Menge $\{0,1\}$. Es wird also jeder Aussagevariable $p\in {\textbf {AV}}$ ein Wahrheitswert zugeordnet.
    $\omega \colon {\textbf {AV}}\to \{0,1\}$
Die Anwendung dieser Abbildung auf ganze Formeln ist durch die rekursive Definition von $\omega$ auf der ganzen Formelmenge der booleschen Formeln ${\mathcal {F}}$ möglich.
    $\omega \colon {\mathcal {F}}\to \{0,1\}$
mit
    $\omega (\alpha \land \beta )=\omega \alpha \land \omega \beta$
    $\omega (\alpha \lor \beta )=\omega \alpha \lor \omega \beta$
    $\omega \neg \alpha =\neg \omega \alpha$
Diese Definition ist hier Beispielhaft für die logische Signatur $\{\land ,\lor ,\neg \}$ aufgeführt. Wenn die Signatur noch andere Junktoren enthält, so muss die Definition erweitert werden.
Damit ist gewährleistet, dass $\omega$ eine ganze Formel $\alpha \in {\mathcal {F}}$ verarbeiten kann. Auf der untersten Ebene werden jedoch immer noch den einzelnen Aussagevariablen diskrete Werte zugewiesen. Belegt man nun eine solche Formel, so ist es möglich für sie eine zu der Belegung korrespondierenden gesamten Wahrheitswert für die ganze Formel zu ermitteln.
Die Menge aller Belegungen einer Formel $\alpha$ wird meistens mit Hilfe einer Wertetabelle dargestellt.
| | $p_{1}$ | $p_{2}$ | $\dots$ | $p_{n}$ | $\alpha$ |
| 1 | 0 | 0 | $\dots$ | 0 | $\omega _{1}\alpha$ |
| 2 | 0 | 0 | $\dots$ | 1 | $\omega _{2}\alpha$ |
| $\vdots$ | $\vdots$ | $\vdots$ | $\vdots$ | $\vdots$ | $\vdots$ |
| n | 1 | 1 | $\dots$ | 1 | $\omega _{n}\alpha$ |
$\omega _{k}$($1\leq k\leq n$) bezieht sich dabei auf die entsprechende Zeile, die die Belegung der einzelnen, in $\alpha$ vorkommenden, Variablen widerspiegelt. Auf Grundlage diese Belegung werden in der Logik noch weiterführend Begriffe wie die Tautologie aufgebaut.

## Prädikatenlogik

Die Variablen der Struktur seien $v_{n},n\in \mathbb {N}$. Eine Belegung wird z. B. durch die Funktion $\beta (v_{n})=2n$ für $n\geq 0$ gegeben.