Interpretation (Prädikatenlogik)

Eine Interpretation ist ein Paar $\mathcal{I}=(\mathcal{A},\beta )$, bestehend aus:

1. Einer Struktur $\mathcal{A}$.
2. Einer Belegung $\beta :Var\to A$, die Variablen auf Elemente des Universums abbildet.
   Die Interpretation ist passend für eine Formel, wenn alle freien Variablen im Definitionsbereich von $\beta$ liegen.