Gültigkeit und Modelle in der Prädikatenlogik

Eine Formel F ist gültig unter einer Struktur s, d.h. Struktur s hat den Wahrheitswert „wahr“. Mann sagt, s ist ein Modell für F.

Falls jede Struktur ein Modell für eine Formel F ist, dann wird gesagt, F ist allgemeingültig.