Prädikatenlogik (Semantik - Formeln)

Wert einer Formel in einer Struktur, unter einer Belegung, ist ein Wahrheitswert

• Prädikatsymbol mit Argumenten: wende Interpretation des Prädikatsymbols auf Werte der Argumente an
• aussagenlogische Verknüpfung (wie bei Aussagenlogik)
• Quantoren: wert(∀x.F, S, b) = min{wert(F, S, b[x : = u]) | u∈U}

wobei b[x : = u] die Belegung b' ist mit:

b'(y) = (wenny = xdannusonstb(y)).