\begin{slide}{Semantik der Prädikatenlogik}

  \begin{itemize}
  \item Universum, Funktion, Relation, 
  \item Struktur, die zu einer Signatur paßt
  \item Belegung, Interpretation
  \item Wert 
    \begin{itemize}
    \item eines Terms
    \item einer Formel
    \end{itemize}
    in einer Struktur, unter einer Belegung
  \end{itemize}
  die Modell-Relation $(S,b) \models F$ sowie $S\models F$

  Erfüllbarkeit, Allgemeingültigkeit (Def, Bsp)
\end{slide}
