In einem Ausdruck
über einem Symbolalphabet
nennt man die Variablen, die
(und zwar für jedes Vorkommen)
innerhalb der Reichweite eines Quantors stehen, gebunden, die anderen frei. Dies wird streng über den Aufbau der Ausdrücke definiert.
-

-

für ein
-stelliges Relationssymbol
und
Terme
.
-

für einen Ausdruck
.
-

für Ausdrücke
und
. Ebenso für
.
-

für einen Ausdruck
und eine Variable
.
-

für einen Ausdruck
und eine Variable
.
Einen Ausdruck ohne freie Variablen nennt man einen Satz, auch wenn diese Bezeichnung nicht ganz glücklich ist, da „Satz“ die Gültigkeit einer Aussage suggeriert. Die Menge der Sätze wird mit
bezeichnet, die Menge der Ausdrücke mit genau einer freien Variablen
(die aber in dem Ausdruck beliebig oft vorkommen darf)
mit
.