Wertzuweisung an eine Variable.

Ist x eine Variable in einem gegebenen Programm, so wird durch die Deklaration der Variablen im Programmtext nur Speicherplatz reserviert, der Variablen aber in der Regel noch kein Wert zugewiesen. Erst durch eine Wertzuweisung oder auch Belegung ist die Variable mit einem Wert versehen.

Im Sinne von logischen Kalkülen ist die Belegung einer Variablen eine Abbildung, die den Variablen aus logischen Kalkülen spezielle Werte zuordnet.

Für den Aussagenkalkül wird durch eine Belegung jeder Aussagenvariablen ein Wahrheitswert zugeordnet, für den Prädikatenkalkül wird jede Individuenvariable mit einem Element aus dem betrachteten Individuenbereich bewertet.