Definition, Bedeutung

• Zeichenreihe, die mindestens eine freie Variable enthält und durch Bindung oder Belegung aller Variablen aus einem Grundbereich zu einer Aussage wird