das „Gegenteil“ einer freien Variablen in einem Prädikat.

Es sei P ein Prädikat und x eine Variable, die an einer Stelle von P vorkommt. Dann heißt x an dieser Stelle gebunden, wenn sich an dieser Stelle einer der Quantoren ∀ und ∃ auf die Variable x bezieht. Die Variable x heißt gebunden in P, wenn x an mindestens einer Stelle gebunden auftritt.

Ist beispielsweise der Ausdruck ∀_xP(x,y) gegeben, so ist hier x eine gebundene und y eine freie Variable.