Prädikatenlogik (Semantik)

zu Signatur $\Sigma$ = ($\Sigma_{F}^{}$,$\Sigma_{R}^{}$) passende Struktur:

• ein Grundbereich M
• zu jedem f $\in$ $\Sigma_{{F,k}}^{}$ ein [f] : M^k$\to$M
• zu jedem r $\in$ $\Sigma_{{R,k}}^{}$ ein [r] : M^k$\to$$\mathbb {B}$

Belegung: b : Var$\to$M

Definiere

• Wert eines Terms t in Struktur M unter Belegung b
• Wert einer Formel F in Struktur M unter Belegung b
• Wert einer geschlossenen Formel F in Struktur M